Patrizia Schalk, Adam Burke and Robert Lorenz. in press. Exploring complexity: an extended study of formal properties for process model complexity measures. preprint.
BibTeX | RIS

Patrizia Schalk, Adam Burke and Robert Lorenz. 2024. Navigating complexity: comparing complexity measures with Weyuker's properties. Xixi Lu, Luise Pufahl, Minseok Song (Hg.): 2024 6th International Conference on Process Mining (ICPM), 14-18 October 2024, Kgs. Lyngby, Denmark 145-152. IEEE, Piscataway, NJ DOI: 10.1109/icpm63005.2024.10680655
PDF | BibTeX | RIS | DOI

2022. ATAED 2022: Algorithms & Theories for the Analysis of Event Data 2022 - Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022. Robert Lorenz, Jan Martijn van der Werf, Sebastiaan J. van Zelst (Hg.): CEUR-WS, Aachen
PDF | BibTeX | RIS

Robert Lorenz, Johannes Metzger and Lev Sorokin. 2017. Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations. Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona (Hg.): ATAED 2017: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017, Satellite event of the conferences; 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017 21-38. CEUR-WS.org
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Johannes Metzger, Lev Sorokin and Robin Bergenthum. 2017. Towards compact regions for labeled prime event structures. Robin Bergenthum, Ekkart Kindler (Hg.): Algorithms and Tools for Petri nets: Proceedings of the Workshop AWPN 2017, Kgs. Lyngby, Denmark, October 19-20, 2017 1-8. Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Denmark, Department of Applied Mathematics and Computer Science (DTU Compute), Kgs. Lyngby
BibTeX | RIS | URL

Robert Lorenz. 2015. Modeling quantitative aspects of concurrent systems using weighted Petri net transducers. Raymond Devillers, Antti Valmari (Hg.): Application and theory of petri nets and concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015 9115, 49-76. Springer International, Cham DOI: 10.1007/978-3-319-19488-2_3
PDF | BibTeX | RIS | DOI

Robert Lorenz and Robin Bergenthum. 2015. Verification of scenarios in Petri nets using compact tokenflows. Fundamenta Informaticae 137, 1, 117-142.
BibTeX | RIS

Markus Huber, Robert Lorenz and Daniel Stra?ner. 2014. Constructing Petri net transducers with PNTooL. Rüdiger Hoffmann (Hg.): Elektronische Sprachsignalverarbeitung 2014: Tagungsband der 25. Konferenz Dresden, 26. – 28. M?rz 2014 110-117. TUDpress, Dresden
PDF | BibTeX | RIS

Markus Huber and Robert Lorenz. 2014. Constructing Petri net transducers with PNTooL. Daniel Moldt, Heiko R?lke (Hg.): PNSE 2014 - Petri Nets and Software Engineering 2014: Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014 339-341. CEUR-WS
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Markus Huber and Günther Wirsching. 2014. On weighted Petri net transducers. Gianfranco Ciardo, Ekkart Kindler (Hg.): Application and theory of petri nets and concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014 8489, 233-252. Springer International, Cham DOI: 10.1007/978-3-319-07734-5_13
PDF | BibTeX | RIS | DOI

Gunther Wirsching and Robert Lorenz. 2014. Some algebraic aspects of semantic uncertainty and cognitive biases. 2014 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom), 5-7 Nov. 2014, Vietri sul Mare, Italy 555-560. IEEE, Piscataway, NJ DOI: 10.1109/coginfocom.2014.7020405
PDF | BibTeX | RIS | DOI

Markus Huber, Christian K?lbl, Robert Lorenz and Günther Wirsching. 2013. Konstruktion von UMP-Transduktoren aus Wizard-of-Oz Daten. Petra Wagner (Hg.): Elektronische Sprachsignalverarbeitung 2013: Tagungsband der 24. Konferenz, Bielefeld, 26.-28.3.2013 111-118. TUDpress, Dresden
PDF | BibTeX | RIS

Robert Lorenz, J?rg Desel and Gabriel Juhás. 2013. Models from scenarios. Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf (Hg.): Transactions on petri nets and other models of concurrency VII 7480, 314-371. Springer, Berlin [u.a.] DOI: 10.1007/978-3-642-38143-0_9
PDF | BibTeX | RIS | DOI

Robert Lorenz and Markus Huber. 2013. Realising the translation of utterances into meanings by Petri net transducers. Petra Wagner (Hg.): Elektronische Sprachsignalverarbeitung 2013: Tagungsband der 24. Konferenz, Bielefeld, 26.-28.3.2013 103-110. TUDpress, Dresden
PDF | BibTeX | RIS

Gunther Wirsching and Robert Lorenz. 2013. Towards meaning-oriented language modeling. Péter Baranyi, Anna Esposito, Mihoko Niitsuma, Bj?rn Solvang (Hg.): 2013 IEEE 4th International Conference on Cognitive Infocommunications (CogInfoCom), 2-5 Dec. 2013, Budapest, Hungary 369-374. IEEE, Piscataway, NJ DOI: 10.1109/coginfocom.2013.6719273
PDF | BibTeX | RIS | DOI

Robert Lorenz and Markus Huber. 2012. Petri Net transducers in semantic dialogue modelling. Matthias Wolff (Hg.): Elektronische Sprachsignalverarbeitung 2012: Tagungsband der 23. Konferenz Cottbus, 29. – 31. August 2012 286-297. TUDpress, Dresden
PDF | BibTeX | RIS

Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha. 2012. SYNOPS – generation of partial languages and synthesis of Petri nets. Lawrence Cabac, Michael Duvigneau, Daniel Moldt (Hg.): PNSE-2012 - Petri Nets and Software Engineering 2012: Proceedings of the International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, June 25-26, 2012 237-252. CEUR-WS
PDF | BibTeX | RIS | URL | URL

Günther Wirsching, Markus Huber, Christian K?lbl, Robert Lorenz and Ronald R?mer. 2012. Semantic dialogue modeling. Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent C. Müller (Hg.): Cognitive behavioural systems: COST 2102 International Training School, Dresden, Germany, February 21-26, 2011 7403, 104-113. Springer, Berlin [u.a.] DOI: 10.1007/978-3-642-34584-5_8
PDF | BibTeX | RIS | DOI

Markus Huber, Christian K?lbl, Robert Lorenz, Ronald R?mer and Günther Wirsching. 2010. Semantische Dialogmodellierung mit gewichteten Merkmal-Werte-Relationen. Elektronische Sprachsignalverarbeitung 2009, Band 1: Tagungsband der 20. Konferenz, Dresden, 21. bis 23. September 2009, 20. Konferenz "Elektronische Sprachsignalverarbeitung" (ESSV) 25-32. TUDpress, Dresden
PDF | BibTeX | RIS

Robin Bergenthum, J?rg Desel, Sebastian Mauser and Robert Lorenz. 2009. Construction of process models from example runs. Kurt Jensen, Wil M. P. van der Aalst (Hg.): Transactions on petri nets and other models of concurrency II: special issue on concurrency in process-aware information systems 5460, 243-259. Springer, Berlin [u.a.] DOI: 10.1007/978-3-642-00899-3_14
PDF | BibTeX | RIS | DOI

Robert Lorenz, Gabriel Juhás, Robin Bergenthum, J?rg Desel and Sebastian Mauser. 2009. Executability of scenarios in Petri nets. Theoretical Computer Science 410, 12-13, 1190-1216. DOI: 10.1016/j.tcs.2008.11.014
PDF | BibTeX | RIS | DOI

Robert Lorenz, Gabriel Juhás and Sebastian Mauser. 2009. Partial order semantics of types of Nets. Mogens Nielsen, Antonín Ku?era, Peter Bro Miltersen, Catuscia Palamidessi, Petr T?ma, Frank Valencia (Hg.): SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, ?pindler?v Ml?n, Czech Republic, January 24-30, 2009 5404, 388-400. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-95891-8_36
PDF | BibTeX | RIS | DOI

Markus Huber, Christian K?lbl, Robert Lorenz, Ronald R?mer and Günther Wirsching. 2009. Semantische Dialogmodellierung mit gewichteten Merkmal-Werte-Relationen. Rüdiger Hoffmann (Hg.): Elektronische Sprachsignalverarbeitung 2009, Band 1: Tagungsband der 20. Konferenz, Dresden, 21. – 23.9.2009 25-32. TUDpress, Dresden
PDF | BibTeX | RIS | URL

Robin Bergenthum, J?rg Desel, Sebastian Mauser and Robert Lorenz. 2009. Synthesis of Petri nets from term based representations of infinite partial languages. Fundamenta Informaticae 95, 1, 187-217.
BibTeX | RIS

Robin Bergenthum, Sebastian Mauser, Robert Lorenz and Gabriel Juhás. 2009. Unfolding semantics of Petri nets based on token flows. Fundamenta Informaticae 2009, 3-4, 331-360.
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and J?rg Desel. 2009. Unifying Petri net semantics with token flows. Giuliana Franceschinis, Karsten Wolf (Hg.): Applications and theory of petri nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009 5606, 2-21. Springer, Berlin [u.a.] DOI: 10.1007/978-3-642-02424-5_2
PDF | BibTeX | RIS | DOI

Sebastian Mauser and Robert Lorenz. 2009. Variants of the language based synthesis problem for Petri nets. Stephen Edwards, Robert Lorenz, Walter Vogler (Hg.): 2009 Ninth International Conference on Application of Concurrency to System Design, 1-3 July 2009, Augsburg, Germany 89-98. IEEE, Piscataway, NJ DOI: 10.1109/acsd.2009.19
PDF | BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2008. Causal semantics of algebraic Petri nets distinguishing concurrency and synchronicity. Fundamenta Informaticae 86, 3, 255-298.
BibTeX | RIS | URL

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2008. Complete process semantics of Petri nets. Fundamenta Informaticae 87, 3-4, 331-365.
BibTeX | RIS | URL

Fedor Lehocki, Gabriel Juhas, Robert Lorenz, Helena Szczerbicka and Martin Drozda. 2008. Decision support with logical and fuzzy Petri nets. Cybernetics and Systems: An International Journal 39, 6, 617-640.
BibTeX | RIS

Markus Huber, Christian K?lbl, Robert Lorenz and Günther Wirsching. 2008. Ein Petrinetz-Modell zur Informationsübertragung per Dialog. Niels Lohmann, Karsten Wolf (Hg.): AWPN 2008 - Algorithmen und Werkzeuge für Petrinetze: Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26–27, 2008 15-24. CEUR-WS
PDF | BibTeX | RIS | URL

Fedor Lehocki, Gabriel Juhas, Robert Lorenz and Martin Drozda. 2008. Extended fuzzy Petri nets for decision support. 2008 First International Symposium on Applied Sciences on Biomedical and Communication Technologies, 25-28 Oct. 2008, Aalborg, Denmark IEEE, Piscataway, NJ DOI: 10.1109/isabel.2008.4712586
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2008. Faster unfolding of general Petri nets based on token flows. Kees M. van Hee, Rüdiger Valk (Hg.): Applications and theory of petri nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008 5062, 13-32. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-68746-7_6
PDF | BibTeX | RIS | DOI

Robin Bergenthum, J?rg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from finite partial languages. Fundamenta Informaticae 88, 4, 437-468.
BibTeX | RIS | URL

Robin Bergenthum, Jorg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from infinite partial languages. 2008 8th International Conference on Application of Concurrency to System Design, 23-27 June 2008, Xian, China 170-179. IEEE, Piscataway, NJ DOI: 10.1109/acsd.2008.4574609
PDF | BibTeX | RIS | DOI

Robin Bergenthum, J?rg Desel, Robert Lorenz and Sebastian Mauser. 2008. Synthesis of Petri nets from scenarios with VipTool. Kees M. van Hee, Rüdiger Valk (Hg.): Applications and theory of petri nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008 5062, 388-398. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-68746-7_25
PDF | BibTeX | RIS | DOI

Robert Lorenz. 2008. Towards synthesis of Petri Nets from general partial languages. Niels Lohmann, Karsten Wolf (Hg.): AWPN 2008 - Algorithmen und Werkzeuge für Petrinetze: Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26–27, 2008 55-62. CEUR-WS
PDF | BibTeX | RIS | URL

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2007. Complete process semantics for inhibitor nets. Jetty Kleijn, Alex Yakovlev (Hg.): Petri nets and other models of concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 4546, 184-203. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-73094-1_13
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2007. Faster unfolding of general Petri nets. Stephan Philippi, Alexander Pinl (Hg.): Proceedings 14. Workshop: Algorithmen und Werkzeuge für Petrinetze, 20.-21. September 2007 63-68. Universit?t Koblenz-Landau, Koblenz
PDF | BibTeX | RIS

Robert Lorenz, Sebastian Mauser and Gabriel Juhas. 2007. How to synthesize nets from languages - a survey. Shane G. Henderson, Bahar Biller, Ming-hua Hsieh, John Shortle (Hg.): 2007 Winter Simulation Conference, 9-12 Dec. 2007, Washington, DC, USA 637-647. IEEE, Piscataway, NJ DOI: 10.1109/wsc.2007.4419657
PDF | BibTeX | RIS | DOI

Robin Bergenthum, J?rg Desel, Robert Lorenz and Sebastian Mauser. 2007. Process mining based on regions of languages. Gustavo Alonso, Peter Dadam, Michael Rosemann (Hg.): Business process management: 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007 4714, 375-383. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-75183-0_27
PDF | BibTeX | RIS | DOI

Gabriel Juhas, Fedor Lehocki and Robert Lorenz. 2007. Semantics of Petri nets: a comparison. Shane G. Henderson, Bahar Biller, Ming-hua Hsieh, John Shortle (Hg.): 2007 Winter Simulation Conference, 9-12 Dec. 2007, Washington, DC, USA 617-628. IEEE, Piscataway, NJ DOI: 10.1109/wsc.2007.4419655
PDF | BibTeX | RIS | DOI

Robert Lorenz, Robin Bergenthum, Jorg Desel and Sebastian Mauser. 2007. Synthesis of Petri nets from finite partial languages. Twan Basten, Gabriel Juhás, Sandeep Shukla (Hg.): Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia 157-166. IEEE, Piscataway, NJ DOI: 10.1109/acsd.2007.34
PDF | BibTeX | RIS | DOI

Robert Lorenz, Sebastian Mauser and Robin Bergenthum. 2007. Testing the executability of scenarios in general inhibitor nets. Twan Basten, Gabriel Juhás, Sandeep Shukla (Hg.): Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia 167-176. IEEE, Piscataway, NJ DOI: 10.1109/acsd.2007.73
PDF | BibTeX | RIS | DOI

Robert Lorenz, Sebastian Mauser and Robin Bergenthum. 2007. Theory of regions for the synthesis of inhibitor nets from scenarios. Petri nets and other models of concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007 4546, 342-361. DOI: 10.1007/978-3-540-73094-1_21
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2007. Towards applicability of language based synthesis for process mining. Stephan Philippi, Alexander Pinl (Hg.): Proceedings 14. Workshop: Algorithmen und Werkzeuge für Petrinetze, 20.-21. September 2007 45-50. Universit?t Koblenz-Landau, Koblenz
PDF | BibTeX | RIS | URL

Robin Bergenthum, J?rg Desel, Gabriel Juhás and Robert Lorenz. 2006. Can I execute my scenario in your net? VipTool tells you!. Susanna Donatelli, P. S. Thiagarajan (Hg.): Petri nets and other models of concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 4024, 381-390. Springer, Berlin [u.a.] DOI: 10.1007/11767589_21
PDF | BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2006. Synchronous + concurrent + sequential = earlier than + not later than. Kees Goossens, Laure Petrucci (Hg.): Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 28-30 June 2006, Turku, Finland 261-272. IEEE, Piscataway, NJ DOI: 10.1109/acsd.2006.31
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2006. Synthese von S/T-Netzen aus unendlichen partiellen Sprachen. Daniel Moldt (Hg.): Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze - AWPN'06 1-8. Universit?t Hamburg, Department Informatik, Hamburg
PDF | BibTeX | RIS

Robert Lorenz and Gabriel Juhás. 2006. Towards synthesis of Petri nets from scenarios. Susanna Donatelli, P. S. Thiagarajan (Hg.): Petri nets and other models of concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 4024, 302-321. Springer, Berlin [u.a.] DOI: 10.1007/11767589_17
PDF | BibTeX | RIS | DOI

Robin Bergenthum, Robert Lorenz and Sebastian Mauser. 2006. Zur Synthese von Inhibitor-Netzen aus geschichteten Ordnungsstrukturen. Daniel Moldt (Hg.): Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze - AWPN'06 9-17. Universit?t Hamburg, Department Informatik, Hamburg
PDF | BibTeX | RIS

Gabriel Juhás, Robert Lorenz and J?rg Desel. 2005. Can I execute my scenario in your net?. Gianfranco Ciardo, Philippe Darondeau (Hg.): Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005 3536, 289-308. Springer, Berlin [u.a.] DOI: 10.1007/11494744_17
PDF | BibTeX | RIS | DOI

J?rg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. A guide to modelling and control with modules of signal nets. Hartmut Ehrig, Werner Damm, J?rg Desel, Martin Gro?e-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westk?mper (Hg.): Integration of software specification techniques for applications in engineering: priority program SoftSpez of the German Research Foundation (DFG), Final Report 3147, 270-300. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-27863-4_16
PDF | BibTeX | RIS | DOI

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2004. Modellierung und Steuerungsentwurf mit Signalnetz-Systemen. Abschlusskolloquium DFG-Schwerpunktprogramm "Softspez"
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Modelling and control with modules of signal nets. J?rg Desel, Wolfgang Reisig, Grzegorz Rozenberg (Hg.): Lectures on concurrency and petri nets: advances in petri nets 3098, 585-625. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-27755-2_17
PDF | BibTeX | RIS | DOI

Gabriel Juhás and Robert Lorenz. 2004. Modelling time in signal nets. 11th Workshop on Algorithms and Tools for Petri Nets (AWPN) 2004, September 30 - October 1, 2004, 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Paderborn, Germany
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Synthesis of controlled behavior with modules of signal nets. Jordi Cortadella, Wolfgang Reisig (Hg.): Applications and theory of petri nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004 3099, 238-257. Springer, Berlin [u.a.] DOI: 10.1007/978-3-540-27793-4_14
PDF | BibTeX | RIS | DOI

J?rg Desel, Gabriel Juhás, Robert Lorenz, Vesna Milijic, Christian Neumair and Rainer Schieber. 2003. Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie. E. Schnieder (Hg.): Entwurf komplexer Automatisierungssysteme: EKA 2003: Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen; 8. Fachtagung, 11. bis 13. Juni 2003 in Braunschweig 273-295. Technische Universit?t Braunschweig, Braunschweig
PDF | BibTeX | RIS

J?rg Desel, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modellierung, Komposition, Semantik, Verhalten. 6. Kolloquium des DFG-Schwerpunktprogramms "Softspez"
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modelling and control with modules of Petri nets. Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", DFG-Schwerpunktprogramm "Softspez", Stuttgart
BibTeX | RIS

J?rg Desel, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modelling and validation with VipTool. Wil M. P. van der Aalst, Mathias Weske (Hg.): Business process management: International Conference, BPM 2003 Eindhoven, The Netherlands, June 26–27, 2003 2678, 380-389. Springer, Berlin [u.a.] DOI: 10.1007/3-540-44895-0_26
PDF | BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Tomá? ?ingliar. 2003. On synchronicity and concurrency in Petri nets. Wil M. P. van der Aalst, Eike Best (Hg.): Applications and theory of petri nets 2003: 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 2679, 357-376. Springer, Berlin [u.a.] DOI: 10.1007/3-540-44919-1_23
PDF | BibTeX | RIS | DOI

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2003. Relating axiomatic and operational semantics of place/transition nets: from process terms to partial orders. Electronic Notes in Theoretical Computer Science 82, 7, 46-62.
BibTeX | RIS

Gabriel Juhás and Robert Lorenz. 2002. Modelling with Petri modules. Beno?t Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie (Hg.): Synthesis and Control of Discrete Event Systems 125-138. Springer US, Boston, MA
BibTeX | RIS

Gabriel Juhás and Robert Lorenz. 2002. Von Prozesstermen zu partiellen Ordnungen. Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", DFG-Schwerpunktprogramm "Softspez", Halle
BibTeX | RIS

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2001. Modelling with Petri modules: composition preserving equivalence. G. Juhás, Robert Lorenz (Hg.): 8. Workshop Algorithmen und Werkzeuge für Petrinetze, Katholische Universit?t Eichst?tt, October 2001
BibTeX | RIS

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2001. Petri nets over partial algebra. Hartmut Ehrig, Julia Padberg, Gabriel Juhás, Grzegorz Rozenberg (Hg.): Unifying petri nets: advances in petri nets 2128, 126-172. Springer, Berlin [u.a.] DOI: 10.1007/3-540-45541-8_6
PDF | BibTeX | RIS | DOI

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2001. Unifying Petri nets with restricted occurrence rule using partial algebra. Electronic Notes in Theoretical Computer Science 44, 4, 163-187. DOI: 10.1016/s1571-0661(04)80950-2
PDF | BibTeX | RIS | DOI

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2001. VIP-Tool Erweiterung für Signal-Netze. Gabriel Juhás, Robert Lorenz (Hg.): 8. Workshop Algorithmen und Werkzeuge für Petrinetze, Katholische Universit?t Eichst?tt, October 2001
BibTeX | RIS

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2001. Validierung: (Semi)Formalisierung informaler Spezifikation.. Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", DFG-Schwerpunktprogramm "Softspez", Berlin
BibTeX | RIS

Gabriel Juhás and Robert Lorenz. 2001. Validierung: inkrementeller Steuerungsentwurf von automatischen Systemen. Themenworkshop "Modelltransformation und Werkzeugkopplung", DFG-Schwerpunktprogramm "Softspez", Braunschweig
BibTeX | RIS

Gabriel Juhás and Robert Lorenz. 2000. Inkrementeller Steuerungsentwurf von Produktionssystemen. Inkrementeller Steuerungsentwurf von Produktionssystemen, 3. Kolloquium DFG-Schwerpunktprogramm "Softspez"
BibTeX | RIS

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2000. Process semantics and process equivalence of NCEM. AWPN 2000 - 7. Workshop Algorithmen und Werkzeuge für Petrinetze, Koblenz, 02.-03. Oktober 2000
BibTeX | RIS

J?rg Desel, Gabriel Juhás and Robert Lorenz. 2000. Process semantics of Petri nets over partial algebra. Mogens Nielsen, Dan Simpson (Hg.): Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 1825, 146-165. Springer, Berlin DOI: 10.1007/3-540-44988-4_10
PDF | BibTeX | RIS | DOI