Getting the priorities right: saturation for prioritised Petri nets

DOI10.1007/978-3-319-57861-3_14zbMath1393.68121OpenAlexW2610660442MaRDI QIDQ1662541

Kristóf Marussy, Vince Molnár, István Majzik, András Vörös

Publication date: 20 August 2018

Full work available at URL: http://real.mtak.hu/57608/1/main.pdf

zbMATH Keywords

priorityPetri netsaturationdecision diagramedge-valued interval decision diagramGSPNprioritised Petri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

Saturation Enhanced with Conditional Locality: Application to Petri Nets

This page was built for publication: Getting the priorities right: saturation for prioritised Petri nets