| “What is a petri net?” informal answers for the informed reader J Desel, G Juhás Unifying Petri Nets: Advances in Petri Nets, 1-25, 2001 | 199 | 2001 |
| How to synthesize nets from languages-a survey R Lorenz, S Mauser, G Juhás 2007 Winter Simulation Conference, 637-647, 2007 | 69 | 2007 |
| Modelling and validation with VipTool A ter Hofstede, J Desel, G Juhás, R Lorenz, C Neumair Business Process Management: International Conference, BPM 2003 Eindhoven …, 2003 | 46 | 2003 |
| Can i execute my scenario in your net? G Juhás, R Lorenz, J Desel Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005 | 43 | 2005 |
| Unifying Petri nets: advances in Petri nets H Ehrig Springer Science & Business Media, 2001 | 35 | 2001 |
| Towards synthesis of petri nets from scenarios R Lorenz, G Juhás International Conference on Application and Theory of Petri Nets, 302-321, 2006 | 33 | 2006 |
| Synthesis of controlled behavior with modules of signal nets G Juhás, R Lorenz, C Neumair International Conference on Application and Theory of Petri Nets, 238-257, 2004 | 28 | 2004 |
| Instance deadlock: A mystery behind frozen programs G Juhás, I Kazlov, A Juhásová Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010 | 26 | 2010 |
| Process semantics of Petri nets over partial algebra J Desel, G Juhás, R Lorenz Application and Theory of Petri Nets 2000: 21st International Conference …, 2000 | 25 | 2000 |
| Models from scenarios R Lorenz, J Desel, G Juhás Transactions on Petri Nets and Other Models of Concurrency VII, 314-371, 2013 | 24 | 2013 |
| Can i execute my scenario in your net? viptool tells you! R Bergenthum, J Desel, G Juhás, R Lorenz International Conference on Application and Theory of Petri Nets, 381-390, 2006 | 24 | 2006 |
| Petri nets over partial algebra J Desel, G Juhás, R Lorenz Unifying Petri Nets: Advances in Petri Nets, 126-172, 2001 | 22 | 2001 |
| Complete process semantics for inhibitor nets G Juhás, R Lorenz, S Mauser International Conference on Application and Theory of Petri Nets, 184-203, 2007 | 20 | 2007 |
| Synchronous+ concurrent+ sequential= earlier than+ not later than G Juhás, R Lorenz, S Mauser Sixth International Conference on Application of Concurrency to System …, 2006 | 19 | 2006 |
| Finite unfoldings of unbounded petri nets J Desel, G Juhás, C Neumair International Conference on Application and Theory of Petri Nets, 157-176, 2004 | 17 | 2004 |
| Unfolding semantics of Petri nets based on token flows R Bergenthum, S Mauser, R Lorenz, G Juhas Fundamenta Informaticae 94 (3-4), 331-360, 2009 | 14 | 2009 |
| Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity G Juhás, R Lorenz, S Mauser Fundamenta Informaticae 86 (3), 255-298, 2008 | 14 | 2008 |
| Semantics of Petri nets: a comparison G Juhás, F Lehocki, R Lorenz 2007 Winter Simulation Conference, 617-628, 2007 | 14 | 2007 |
| A guide to modelling and control with modules of signal nets J Desel, HM Hanisch, G Juhás, R Lorenz, C Neumair Integration of Software Specification Techniques for Applications in …, 2004 | 14 | 2004 |
| Reasoning about algebraic generalisation of Petri nets G Juhás International Conference on Application and Theory of Petri Nets, 324-343, 1999 | 14 | 1999 |
Robert LorenzProfessor für Informatik, Augsburg UniversityAdresse e-mail validée de informatik.uni-augsburg.de
