%0 Journal Article %1 JensenKristensen15cacm %A Jensen, Kurt %A Kristensen, Lars M. %D 2015 %J Communications of the ACM %K 01821 acm paper computer science system theory format concurrent software engineering design tool %N 6 %P 61--70 %R 10.1145/2663340 %T Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems %V 58 %X Formal executable models enable systematic evaluation of system designs prior to implementation and deployment. Concurrent and distributed systems consist of parallel processes that communicate, synchronize, and share resources; such systems are a challenge to design and implement correctly, as they exhibit complex nondeterministic behavior. Colored Petri Nets extend Petri nets with data types, functions, and modules to obtain a scalable formal language suited for modeling concurrency, synchronization, and data processing. CPN Tools is a widely used software tool supporting construction, simulation, and analysis of executable models of concurrent systems.

@article{JensenKristensen15cacm, abstract = {Formal executable models enable systematic evaluation of system designs prior to implementation and deployment. Concurrent and distributed systems consist of parallel processes that communicate, synchronize, and share resources; such systems are a challenge to design and implement correctly, as they exhibit complex nondeterministic behavior. Colored Petri Nets extend Petri nets with data types, functions, and modules to obtain a scalable formal language suited for modeling concurrency, synchronization, and data processing. CPN Tools is a widely used software tool supporting construction, simulation, and analysis of executable models of concurrent systems.}, added-at = {2015-11-01T12:54:45.000+0100}, author = {Jensen, Kurt and Kristensen, Lars M.}, biburl = {https://www.bibsonomy.org/bibtex/215de2687b25d8482e507dce179a38e2a/flint63}, doi = {10.1145/2663340}, file = {ACM Digital Library:2015/JensenKristensen15cacm.pdf:PDF}, groups = {public}, interhash = {8e37027867291e10804caf37883c5dd7}, intrahash = {15de2687b25d8482e507dce179a38e2a}, issn = {0001-0782}, journal = {Communications of the ACM}, keywords = {01821 acm paper computer science system theory format concurrent software engineering design tool}, month = {#jun#}, number = 6, pages = {61--70}, timestamp = {2018-04-16T11:50:03.000+0200}, title = {Colored {Petri} Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems}, username = {flint63}, volume = 58, year = 2015 }