References in zbMATH (referenced in 17 articles )

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

  1. You, Dan; Wang, ShouGuang; Zhou, MengChu: Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (2017)
  2. 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)
  3. 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)
  4. Wang, ShouGuang; Zhou, MengChu; Wu, WenHui: Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems (2015)
  5. Chao, Daniel Yuh: Recursive solution of number of reachable states of a simple subclass of FMS (2014)
  6. Hameurlain, Nabil: A compositional framework to the specification of service protocols controllability and substitutability (2014)
  7. Uzam, Murat: Comment on “A deadlock prevention approach for flexible manufacturing systems with uncontrollable transitions in their Petri net models” (2012)
  8. Chaouiya, C.; Naldi, A.; Remy, E.; Thieffry, D.: Petri net representation of multi-valued logical regulatory graphs (2011)
  9. Popova-Zeugmann, Louchka: Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks (2011)
  10. 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)
  11. 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)
  12. Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang: Extended stochastic Petri nets for model-based design of wetlab experiments (2009)
  13. 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)
  14. Zhao, Mi; Li, Zhiwu: On deadlock control for a class of generalised Petri net models of flexible manufacturing systems (2009)
  15. Bourdeaud’huy, Thomas; Hanafi, Saïd; Yim, Pascal: Mathematical programming approach to the Petri nets reachability problem (2007)
  16. Bohez, Erik L. J.: A new generic timed Petri net model for design and performance analysis of a dual kanban FMS (2004)
  17. van der Aalst, W. M. P.: Petri net based scheduling (1996)