Validation of liveness for 1-safe hybrid Petri nets using network unfolding.

Kevin X. He Michael D. Lemmon

Published in: ECC (1999)

Keyphrases

petri net
discrete event systems
petri net model
concurrent processes
manufacturing systems
state machines
colored petri nets
stochastic petri net
discrete dynamical systems
service composition
ims ld
programmable logic controller
artificial intelligence
learning activities
sequence diagrams
fuzzy petri net