On Liveness and Deadlockability in Subclasses of Weighted Petri Nets.

Thomas Hujsa Raymond R. Devillers

Published in: Petri Nets (2017)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
colored petri nets
discrete event systems
fuzzy petri net
state machines
ims ld
stochastic petri net
programmable logic controller
process model
service composition
concurrent systems