Small Universal Deterministic Petri Nets with Inhibitor Arcs.

Artiom Alhazov Sergiu Ivanov Elisabeth Pelz Sergey Verlan

Published in: J. Autom. Lang. Comb. (2016)

Keyphrases

petri net
discrete event systems
manufacturing systems
high level petri nets
petri net model
fuzzy petri net
service composition
state machines
programmable logic controller
ims ld
colored petri nets
knowledge base
rough sets
process model
turing machine
sequence diagrams