On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets.

Thomas Hujsa Raymond R. Devillers

Published in: Fundam. Informaticae (2018)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
ims ld
fuzzy petri net
service composition
colored petri nets
process model
sequence diagrams
state machines
artificial intelligence
discrete dynamical systems
programmable logic controller