On Petri Nets and Predicate-Transition Nets.

Andrea Röck Ray Kresman

Published in: Software Engineering Research and Practice (2006)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
fuzzy petri net
first order logic
service composition
process model
stochastic petri net
state machines
colored petri nets
ims ld
concurrent systems
artificial intelligence
discrete dynamical systems