Author:
Juhás Gabriel,Lorenz Robert,Neumair Christian
Publisher
Springer Berlin Heidelberg
Reference17 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 Academic Publishers, Dordrecht (1999)
3. Desel, J., Juhás, G., Lorenz, R.: Input/Output Equivalence of Petri Modules. In: Proc. of IDPT 2002, Pasadena, USA (2002)
4. Hanisch, H.-M., Lüder, A.: A Signal Extension for Petri nets and its Use in Controller Design. Fundamenta Informaticae 41(4), 415–431 (2000)
5. Hanisch, H.-M., Lüder, A., Rausch, M.: Controller Synthesis for Net Condition/Event Systems with Incomplete State Observation. European Journal of Control 3, S. 292–303 (1997)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conclusions;Paradigms of Concurrency;2022
2. Step traces;Acta Informatica;2015-06-10
3. Relational structures model of concurrency;Acta Informatica;2008-03-11
4. Analysis of Properties of Petri Synthesis Net;Lecture Notes in Computer Science;2006
5. A Generalisation of a Relational Structures Model of Concurrency;Theoretical Aspects of Computing - ICTAC 2004;2005