Strategies for Modeling Complex Processes Using Colored Petri Nets

DOI10.1007/978-3-642-38143-0_2zbMath1382.68157DBLPjournals/topnoc/AalstSW13OpenAlexW192373886WikidataQ57004978 ScholiaQ57004978MaRDI QIDQ4924444

Christian Stahl, Michael Westergaard, Wil M. P. van der Aalst

Publication date: 31 May 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_2

zbMATH Keywords

colored Petri netsdesign patternsCPN tools

Mathematics Subject Classification ID

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

Related Items (2)

Modeling message queueing services with reliability guarantee in cloud computing environment using colored Petri nets ⋮ An introduction to signed Petri net

Uses Software

• ExSpect

This page was built for publication: Strategies for Modeling Complex Processes Using Colored Petri Nets