Current-state opacity modelling and verification in partially observed Petri nets.

Ikram Saadaoui Zhiwu Li Naiqi Wu

Published in: Autom. (2020)

Keyphrases

petri net
partially observed
petri net model
colored petri nets
manufacturing systems
concurrent systems
discrete event systems
ims ld
discrete dynamical systems
stochastic petri net
fuzzy petri net
service composition
asynchronous circuits
model checking
low cost
knowledge base
artificial intelligence