INA

Integrated Net Analyzer (INA) A tool package to support the analysis of Petri Nets and Coloured Petri nets.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

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)