Checking Regular Properties of Petri Nets.

Petr Jancar Faron Moller

Published in: CONCUR (1995)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
high level petri nets
colored petri nets
ims ld
state machines
stochastic petri net
discrete dynamical systems
low cost
process model
service composition
concurrent systems
fuzzy petri net
programmable logic controller