Publisher
Springer Nature Switzerland
Reference9 articles.
1. Lecture Notes in Computer Science;J Billington,2004
2. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Springer, New York (1999). https://doi.org/10.1007/978-0-387-68612-7
3. CPN Tools home page. http://cpntools.org
4. Gibson, J.P.: Formal methods : never too young to start. In: FORMED 2008 : Formal Methods in Computer Science Education, pp. 149–158, Budapest, Hungary, March 2008
5. Jensen, K., Kristensen, L.M.: Colored petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61–70 (2015)