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

Ziyue Ma Zhou He Zhiwu Li Alessandro 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