Petri nets

Industrial applications of the PetriDotNet modelling and analysis tool

Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018.

PDF:

application/pdf icon

BibTex

New Search Strategies for the Petri Net CEGAR Approach

Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.

PDF:

application/pdf icon

BibTex

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006.

BibTex

Termination Analysis of Model Transformations by {Petri} Nets

Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by {Petri} Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.

BibTex