swMATH1223MaRDI QIDQ13963FDOQ13963
Author name not available (Why is that?)
Official website: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/
Cited In (3)
- Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems
- Conceptual design of discrete-event systems using templates
- Unity in diversity, diversity in unity: Retrospective and prospective views on control of discrete event systems. Report on WODES2000 panel discussion, prepared by R. Boel
This page was built for software: Desco
