Observable liveness of Petri nets with controllable and observable transitions.

Guanjun Liu Changjun Jiang

Published in: Sci. China Inf. Sci. (2017)

Keyphrases

petri net
petri net model
discrete event systems
colored petri nets
high level petri nets
manufacturing systems
fuzzy petri net
stochastic petri net
ims ld
artificial intelligence
expert systems
process model
sequence diagrams
concurrent systems
discrete dynamical systems