An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions.

Liang Li Zhiwu Li Jipeng Wang

Published in: Inf. Sci. (2021)

Keyphrases

petri net
discrete event systems
petri net model
manufacturing systems
colored petri nets
stochastic petri net
decision making
service composition
high level petri nets
concurrent systems
discrete dynamical systems
neural network
ims ld
state machines
fuzzy petri net
programmable logic controller