Contains the keyword Petri nets
Industrial applications of the PetriDotNet modelling and analysis tool. Science of Computer Programming. 2018;157:17-40. Abstract
New Search Strategies for the Petri Net CEGAR Approach. In: Devillers R, Valmari A, editors. Application and Theory of Petri Nets and Concurrency. Vol 9115. Springer; 2015. p. 309-28. (Lecture Notes in Computer Science; vol 9115). Abstract
Termination Analysis of Model Transformations by {Petri} Nets. In: Corradini A, Ehrig H, Montanari U, Ribeiro L, Rozenberg G, editors. Proc. Third International Conference on Graph Transformation (ICGT 2006). Vol 4178. Natal, Brazil: Springer; 2006. p. 260-74. (LNCS; vol 4178). Abstract
Acceptance rate: 45%
Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electronic Communications of the EASST (ECEASST). 2006;2. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
