PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research-Reference-Cited by-同舟云学术

PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research

Published:2016 Issue: Volume: Page:123-132
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets and Concurrency
language:
Short-container-title:

Author:

Vörös András,Darvas Dániel,Molnár Vince,Klenik Attila,Hajdu Ákos,Jámbor Attila,Bartha Tamás,Majzik István

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-39086-4_9

Reference28 articles.

1. Bartha, T., Vörös, A., Jámbor, A., Darvas, D.: Verification of an industrial safety function using coloured Petri nets and model checking. In: Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises, pp. 472–485. Hungarian Academy of Sciences (2012)

2. Cayir, S., Ucer, M.: An algorithm to compute a basis of Petri net invariants. In: 4th ELECO International Conference on Electrical and Electronics Engineering. UCTEA, Bursa, Turkey (2005)

3. Ciardo, G., Marmorstein, R., Siminiceanu, R.: The saturation algorithm for symbolic state-space exploration. Int. J. Softw. Tools Technol. Transf. 8(1), 4–25 (2006)

4. Lecture Notes in Computer Science;G Ciardo,2005

5. Lecture Notes in Computer Science;G Ciardo,2012

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Cinco-Based Approach for Agent Petri Net Models;International Journal of Organizational and Collective Intelligence;2022-07-26

2. Challenges in Application of Petri Nets in Manufacturing Systems;Electronics;2021-09-19

3. Information Technology Support of Education of Students With Autism: Aspects of Virtual Assistant Modeling;Vìsnik Nacìonalʹnogo unìversitetu "Lʹvìvsʹka polìtehnìka". Serìâ Ìnformacìjnì sistemi ta merežì;2021-06-10

4. Software development with Petri nets and agents: Approach, frameworks and tool set;Science of Computer Programming;2018-06

5. Industrial applications of the PetriDotNet modelling and analysis tool;Science of Computer Programming;2018-06