Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency.

Leonid W. Dworzanski

Published in: FORMATS (2016)

Keyphrases

petri net
stochastic petri net
petri net model
discrete event systems
process algebra
colored petri nets
state machines
manufacturing systems
service composition
ims ld
logic programming
process model
learning experience
fuzzy petri net
discrete dynamical systems