Author:
Desel Jörg,Hanisch Hans-Michael,Juhás Gabriel,Lorenz Robert,Neumair Christian
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.): Synthesis and Control of Discrete Event Systems. Kluwer Academic Press, Dordrecht (2002)
2. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)
3. Cho, H., Marcus, S.I.: On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Mathematics of Control, Signals, and Systems 2(2), 47–69 (1989)
4. Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of IDPT 2002, Pasadena, USA (2002)
5. Lecture Notes in Computer Science;J. Desel,2004
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Low-Code Languages in IT Education: Integrating Theory and Practice;2023 21st International Conference on Emerging eLearning Technologies and Applications (ICETA);2023-10-26
2. Solving high-level Petri games;Acta Informatica;2020-05-06
3. The concepts of Petri nets;Software & Systems Modeling;2014-08-07
4. Konzepte der Petrinetze;Informatik-Spektrum;2014-01-17
5. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results;Integration of Software Specification Techniques for Applications in Engineering;2004