Small Universal Non-deterministic Petri Nets with Inhibitor Arcs.

Sergiu Ivanov Elisabeth Pelz Sergey Verlan

Published in: DCFS (2014)

Keyphrases

petri net
discrete event systems
petri net model
high level petri nets
colored petri nets
manufacturing systems
fuzzy petri net
turing machine
service composition
discrete dynamical systems
stochastic petri net
sequence diagrams
state machines
ims ld
artificial intelligence
concurrent processes
genetic algorithm