Verification of K-step and infinite-step opacity of bounded labeled Petri nets.

Yin Tong Hao Lan Carla Seatzu

Published in: Autom. (2022)

Keyphrases

petri net
petri net model
genetic algorithm
manufacturing systems
colored petri nets
concurrent systems
high dimensional
discrete event systems