Verification of Detectability in Petri Nets Using Verifier Nets.

Hao Lan Yin Tong Carla Seatzu Jin Guo

Published in: CoRR (2019)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
ims ld
high level petri nets
service composition
process model
fuzzy petri net
stochastic petri net
formal methods
sequence diagrams
discrete dynamical systems
model checking
rough sets
genetic algorithm