References in zbMATH (referenced in 18 articles )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Shaoyong, Li; Chunrun, Zhao: A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets (2020)
  2. You, Dan; Wang, ShouGuang; Zhou, MengChu: Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (2017)
  3. Chao, Daniel Yuh; Yu, Tsung Hsien: The fundamental closed-form solution of control-related states of (k)th order S3PR system with left-side non-sharing resource places of Petri nets (2016)
  4. Qin, Meng; Li, ZhiWu; Al-Ahmari, Abdulrahman M.: Elementary-siphon-based control policy for flexible manufacturing systems with partial observability and controllability of transitions (2015)
  5. Wang, ShouGuang; Zhou, MengChu; Wu, WenHui: Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems (2015)
  6. Chao, Daniel Yuh: Recursive solution of number of reachable states of a simple subclass of FMS (2014)
  7. Hameurlain, Nabil: A compositional framework to the specification of service protocols controllability and substitutability (2014)
  8. Uzam, Murat: Comment on “A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models” (2012)
  9. Chaouiya, C.; Naldi, A.; Remy, E.; Thieffry, D.: Petri net representation of multi-valued logical regulatory graphs (2011)
  10. Popova-Zeugmann, Louchka: Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (2011)
  11. Andrade, Ermeson; Maciel, Paulo; Nogueira, Bruno; Araújo, Carlos; Callou, Gustavo: A COTS-based approach for estimating performance and energy consumption of embedded real-time systems (2010)
  12. Zhao, Mi; Li, ZhiWu; Hu, HeSuan: Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming (2010)
  13. Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang: Extended stochastic Petri nets for model-based design of wetlab experiments (2009)
  14. Kielbassa, J.; Bortfeldt, R.; Schuster, S.; Koch, I.: Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets (2009)
  15. Zhao, Mi; Li, Zhiwu: On deadlock control for a class of generalised Petri net models of flexible manufacturing systems (2009)
  16. Bourdeaud’huy, Thomas; Hanafi, Saïd; Yim, Pascal: Mathematical programming approach to the Petri nets reachability problem (2007)
  17. Bohez, Erik L. J.: A new generic timed Petri net model for design and performance analysis of a dual kanban FMS (2004)
  18. van der Aalst, W. M. P.: Petri net based scheduling (1996)