Use of Petri Nets for Proving Correctness of Concurrent Process Systems.

Kurt Lautenbach Hans Albrecht Schmid

Published in: IFIP Congress (1974)

Keyphrases

petri net
concurrent processes
discrete event systems
process model
colored petri nets
petri net model
low cost
computer systems
manufacturing systems
neural network
complex systems
workflow process