Keyword Connections

behavioural permissiveness

Journals

1

1 ISA transactions

Research Groups

0

No Research Group Connected

Bibliographies

1

1 Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.