Contains the keyword Petri nets

Hajdu Á, Vörös A, Bartha T. 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
Varró D, Varró-Gyapay S, Ehrig H, Prange U, Taentzer G. 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%
Varró-Gyapay S, Varró D. 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
Syndicate content