Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems

@article{Jensen2015ColoredPN,
  title={Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems},
  author={Kurt Jensen and Lars Michael Kristensen},
  journal={Commun. ACM},
  year={2015},
  volume={58},
  pages={61-70}
}
Formal executable models enable systematic evaluation of system designs prior to implementation and deployment. 
Highly Cited
This paper has 52 citations. REVIEW CITATIONS

10 Figures & Tables

Topics

Statistics

01020302015201620172018
Citations per Year

52 Citations

Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.