"Designing Petri Net Supervisors from LTL Specifications."

Bruno Lacerda, Pedro U. Lima (2011)

Details and statistics

DOI: 10.15607/RSS.2011.VII.024

access: open

type: Conference or Workshop Paper

metadata version: 2021-01-29