Sign in

Design of supervisors for linear marking specifications in labeled Petri nets.

Ziyue MaZhou HeZhiwu LiAlessandro Giua
Published in: Autom. (2022)
Keyphrases
  • petri net
  • discrete event systems
  • state machines
  • design process
  • concurrent systems
  • manufacturing systems
  • knowledge representation
  • fuzzy logic
  • computer systems
  • formal specification
  • petri net model