Deciding Life-Cycle Inheritance on Petri Nets

DOI10.1007/3-540-44919-1_7zbMath1274.68259OpenAlexW2167701445MaRDI QIDQ3550611

H. M. W. Verbeek, Twan Basten

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44919-1_7

zbMATH Keywords

Petri netsobject-orientationworkflowbacktrackingstructural propertiesbranching bisimilarityT-invariantslife-cycle inheritance

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Deciding Life-Cycle Inheritance on Petri Nets