The Downward-Closure of Petri Net Languages.

Peter Habermehl Roland Meyer Harro Wimmel

Published in: ICALP (2) (2010)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
expressive power
fuzzy petri net
web service composition
ims ld
service composition
process model
closure properties
stochastic petri net
decision making
concurrent systems