Desco -- a tool for education and control of discrete event systems The authors report on a software suite which has been developed to facilitate the manipulation of state automata and Petri nets for supervisor calculation (among other things). This suite of software tools includes a graphical automata/Petri net drawing tool, a commandline based automata/Petri net manipulation tool and a graphical visualization tool. The two first tools (jointly named Desco, for Discrete Event Systems COntroller), consisting of the N’gin (i.e. the mathematical manipulation engine) and the GUI (the graphical user interface) have been developed at the Control and Automation Laboratory at Chalmers University of Technology. The third tool is a general graph drawing software, GrapViz, from AT&T research, which is closely integrated with Desco
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Grigorov, Lenko; Butler, Brian E.; Cury, José E.R.; Rudie, Karen: Conceptual design of discrete-event systems using templates (2011)
- Li, Lin; Jiang, Zhibin: Formal design and analysis of a hybrid supervisory control structure for virtual production systems (2006)
- Cao, X.-R.; Cohen, G.; Giua, A.; Wonham, W.M.; van Schuppen, J.H.: 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 (2002)
- Fabian, Martin; Hellgren, Anders: Desco -- a tool for education and control of discrete event systems. (2000)