Extended colored Petri net: An efficient tool for analyzing concurrent systems.

Sajal K. Das Dilip Sarkar V. K. Agrawal Lalit M. Patnaik

Published in: Inf. Sci. (1991)

Keyphrases

concurrent systems
petri net
colored petri nets
distributed systems
process algebra
transition systems
computationally efficient
temporal logic
databases
case study
user friendly
software tools