Unfoldings of Unbounded Petri Nets.

Parosh Aziz Abdulla S. Purushothaman Iyer Aletta Nylén

Published in: CAV (2000)

Keyphrases

petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
fuzzy petri net
concurrent systems
stochastic petri net
colored petri nets
data analysis
process model
service composition
ims ld
state machines
web services
programmable logic controller