Sign in

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

Yin TongHao LanCarla 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