Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems.
Kurt JensenLars Michael KristensenPublished in: Commun. ACM (2015)
Keyphrases
- colored petri nets
- concurrent systems
- petri net
- process algebra
- formal specification
- modeling language
- formal language
- specification language
- transition systems
- temporal logic
- natural language
- programming language
- reactive systems
- web services
- formal methods
- formal models
- distributed systems
- model checking
- formal representation
- mathematical theory
- formal languages
- operational semantics
- knowledge based systems
- process model
- model validation
- highly expressive
- software engineering
- language learning