Petri Net Process Decomposition with Application to Validation.

Ferucio Laurentiu Tiplea Jörg Desel

Published in: AWPN (1999)

Keyphrases

petri net
process model
colored petri nets
discrete event systems
petri net model
concurrent processes
knowledge representation
medical images
manufacturing systems