Show
Sort by
-
Structuring acyclic Petri nets for reachability analysis and control.
-
Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness.
-
Supervision of petri nets
-
Linear and integer programmes in supervisory control of Petri nets
-
Linear algebraic design of supervisors for partially observed Petri nets.
-
Reduction of the supervisory control problem for Petri nets.
-
Controlled Petri nets and general legal sets
-
Enforcing k-safeness in controlled state machines
-
Controlled timed Petri nets: Equivalence relations, model reduction
-
On the influencing net and forbidden state control of timed Petri nets with forced transitions