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

Patrizia Schalk, Adam Burke and Robert Lorenz. 2024. Navigating complexity: comparing complexity measures with Weyuker's properties. In Xixi Lu, Luise Pufahl, Minseok Song (Eds.). 2024 6th International Conference on Process Mining (ICPM), 14-18 October 2024, Kgs. Lyngby, Denmark. IEEE, Piscataway, NJ, 145-152 DOI: 10.1109/icpm63005.2024.10680655
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. In Robert Lorenz, Jan Martijn van der Werf, Sebastiaan J. van Zelst (Eds.). CEUR-WS, Aachen
PDF | BibTeX | RIS | URL

Robert Lorenz, Johannes Metzger and Lev Sorokin. 2017. Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations. In Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona (Eds.). 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. CEUR-WS.org, 21-38
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Johannes Metzger, Lev Sorokin and Robin Bergenthum. 2017. Towards compact regions for labeled prime event structures. In Robin Bergenthum, Ekkart Kindler (Eds.). Algorithms and Tools for Petri nets: Proceedings of the Workshop AWPN 2017, Kgs. Lyngby, Denmark, October 19-20, 2017. Technical University of Denmark, Department of Applied Mathematics and Computer Science (DTU Compute), Kgs. Lyngby, 1-8
BibTeX | RIS | URL

Robert Lorenz. 2015. Modeling quantitative aspects of concurrent systems using weighted Petri net transducers. In Raymond Devillers and Antti Valmari (Ed.). Application and theory of petri nets and concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015. Springer International, Cham (Lecture Notes in Computer Science ; 9115), 49-76. 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. DOI: 10.3233/FI-2015-1172
BibTeX | RIS | DOI

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

Markus Huber and Robert Lorenz. 2014. Constructing Petri net transducers with PNTooL. In Daniel Moldt, Heiko Rölke (Eds.). 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. CEUR-WS, 339-341
PDF | BibTeX | RIS | URL | URL

Robert Lorenz, Markus Huber and Günther Wirsching. 2014. On weighted Petri net transducers. In Gianfranco Ciardo and Ekkart Kindler (Ed.). Application and theory of petri nets and concurrency: 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Springer International, Cham (Lecture Notes in Computer Science ; 8489), 233-252. 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. In 2014 5th IEEE Conference on Cognitive Infocommunications (CogInfoCom), 5-7 Nov. 2014, Vietri sul Mare, Italy. IEEE, Piscataway, NJ, 555-560. 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. In Petra Wagner (Ed.). Elektronische Sprachsignalverarbeitung 2013: Tagungsband der 24. Konferenz, Bielefeld, 26.-28.3.2013. TUDpress, Dresden (Studientexte zur Sprachkommunikation ; 65), 111-118.
PDF | BibTeX | RIS

Robert Lorenz, Jörg Desel and Gabriel Juhás. 2013. Models from scenarios. In Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny and Karsten Wolf (Ed.). Transactions on petri nets and other models of concurrency VII. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 7480), 314-371. 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. In Petra Wagner (Ed.). Elektronische Sprachsignalverarbeitung 2013: Tagungsband der 24. Konferenz, Bielefeld, 26.-28.3.2013. TUDpress, Dresden (Studientexte zur Sprachkommunikation ; 65), 103-110.
PDF | BibTeX | RIS

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

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

Robert Lorenz, Markus Huber, Christoph Etzel and Dan Zecha. 2012. SYNOPS – generation of partial languages and synthesis of Petri nets. In Lawrence Cabac, Michael Duvigneau, Daniel Moldt (Eds.). 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. CEUR-WS, 237-252
PDF | BibTeX | RIS | URL | URL

Günther Wirsching, Markus Huber, Christian Kölbl, Robert Lorenz and Ronald Römer. 2012. Semantic dialogue modeling. In Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann and Vincent C. Müller (Ed.). Cognitive behavioural systems: COST 2102 International Training School, Dresden, Germany, February 21-26, 2011. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 7403), 104-113. 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. In Elektronische Sprachsignalverarbeitung 2009, Band 1: Tagungsband der 20. Konferenz, Dresden, 21. bis 23. September 2009, 20. Konferenz "Elektronische Sprachsignalverarbeitung" (ESSV). TUDpress, Dresden (Studientexte zur Sprachkommunikation ; 53), 25-32.
PDF | BibTeX | RIS

Robin Bergenthum, Jörg Desel, Sebastian Mauser and Robert Lorenz. 2009. Construction of process models from example runs. In Kurt Jensen and Wil M. P. van der Aalst (Ed.). Transactions on petri nets and other models of concurrency II: special issue on concurrency in process-aware information systems. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5460), 243-259. 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. In Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma and Frank Valencia (Ed.). 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. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5404), 388-400. 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. In Rüdiger Hoffmann (Ed.). Elektronische Sprachsignalverarbeitung 2009, Band 1: Tagungsband der 20. Konferenz, Dresden, 21. – 23.9.2009. TUDpress, Dresden, 25-32
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. DOI: 10.3233/FI-2009-147
BibTeX | RIS | DOI

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. DOI: 10.3233/FI-2009-134
BibTeX | RIS | DOI

Gabriel Juhás, Robert Lorenz and Jörg Desel. 2009. Unifying Petri net semantics with token flows. In Giuliana Franceschinis and Karsten Wolf (Ed.). Applications and theory of petri nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5606), 2-21. 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. In Stephen Edwards, Robert Lorenz and Walter Vogler (Ed.). 2009 Ninth International Conference on Application of Concurrency to System Design, 1-3 July 2009, Augsburg, Germany. IEEE, Piscataway, NJ, 89-98. 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. DOI: 10.1080/01969720802188235
BibTeX | RIS | DOI

Markus Huber, Christian Kölbl, Robert Lorenz and Günther Wirsching. 2008. Ein Petrinetz-Modell zur Informationsübertragung per Dialog. In Niels Lohmann, Karsten Wolf (Eds.). 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. CEUR-WS, 15-24
PDF | BibTeX | RIS | URL

Fedor Lehocki, Gabriel Juhas, Robert Lorenz and Martin Drozda. 2008. Extended fuzzy Petri nets for decision support. In 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. In Kees M. van Hee and Rüdiger Valk (Ed.). Applications and theory of petri nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5062), 13-32. 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. In 2008 8th International Conference on Application of Concurrency to System Design, 23-27 June 2008, Xian, China. IEEE, Piscataway, NJ, 170-179. 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. In Kees M. van Hee and Rüdiger Valk (Ed.). Applications and theory of petri nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 5062), 388-398. 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. In Niels Lohmann, Karsten Wolf (Eds.). 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. CEUR-WS, 55-62
PDF | BibTeX | RIS | URL

Gabriel Juhás, Robert Lorenz and Sebastian Mauser. 2007. Complete process semantics for inhibitor nets. In Jetty Kleijn and Alex Yakovlev (Ed.). 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. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 4546), 184-203. 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. In Stephan Philippi, Alexander Pinl (Eds.). Proceedings 14. Workshop: Algorithmen und Werkzeuge für Petrinetze, 20.-21. September 2007. Universität Koblenz-Landau, Koblenz, 63-68
PDF | BibTeX | RIS | URL

Robert Lorenz, Sebastian Mauser and Gabriel Juhas. 2007. How to synthesize nets from languages - a survey. In Shane G. Henderson, Bahar Biller, Ming-hua Hsieh and John Shortle (Ed.). 2007 Winter Simulation Conference, 9-12 Dec. 2007, Washington, DC, USA. IEEE, Piscataway, NJ, 637-647. 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. In Gustavo Alonso, Peter Dadam and Michael Rosemann (Ed.). Business process management: 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 4714), 375-383. 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. In Shane G. Henderson, Bahar Biller, Ming-hua Hsieh and John Shortle (Ed.). 2007 Winter Simulation Conference, 9-12 Dec. 2007, Washington, DC, USA. IEEE, Piscataway, NJ, 617-628. 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. In Twan Basten, Gabriel Juhás and Sandeep Shukla (Ed.). Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia. IEEE, Piscataway, NJ, 157-166. 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. In Twan Basten, Gabriel Juhás and Sandeep Shukla (Ed.). Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovakia. IEEE, Piscataway, NJ, 167-176. 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. In Stephan Philippi, Alexander Pinl (Eds.). Proceedings 14. Workshop: Algorithmen und Werkzeuge für Petrinetze, 20.-21. September 2007. Universität Koblenz-Landau, Koblenz, 45-50
PDF | BibTeX | RIS | URL | URL

Robin Bergenthum, Jörg Desel, Gabriel Juhás and Robert Lorenz. 2006. Can I execute my scenario in your net? VipTool tells you!. In Susanna Donatelli and P. S. Thiagarajan (Ed.). 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. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 4024), 381-390. 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. In Kees Goossens and Laure Petrucci (Ed.). Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 28-30 June 2006, Turku, Finland. IEEE, Piscataway, NJ, 261-272. 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. In Daniel Moldt (Ed.). Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze - AWPN'06. Universität Hamburg, Department Informatik, Hamburg (Berichte des Fachbereichs Informatik, Universität Hamburg ; 267), 1-8.
PDF | BibTeX | RIS

Robert Lorenz and Gabriel Juhás. 2006. Towards synthesis of Petri nets from scenarios. In Susanna Donatelli and P. S. Thiagarajan (Ed.). 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. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 4024), 302-321. 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. In Daniel Moldt (Ed.). Tagungsband des 13. Workshops Algorithmen und Werkzeuge für Petri-Netze - AWPN'06. Universität Hamburg, Department Informatik, Hamburg (Berichte des Fachbereichs Informatik, Universität Hamburg ; 267), 9-17.
PDF | BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Jörg Desel. 2005. Can I execute my scenario in your net?. In Gianfranco Ciardo and Philippe Darondeau (Ed.). Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 3536), 289-308. 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. In Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder and Engelbert Westkämper (Ed.). Integration of software specification techniques for applications in engineering: priority program SoftSpez of the German Research Foundation (DFG), Final Report. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 3147), 270-300. 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. In Abschlusskolloquium DFG-Schwerpunktprogramm "Softspez".
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Modelling and control with modules of signal nets. In Jörg Desel, Wolfgang Reisig and Grzegorz Rozenberg (Ed.). Lectures on concurrency and petri nets: advances in petri nets. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 3098), 585-625. 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. In 11th Workshop on Algorithms and Tools for Petri Nets (AWPN) 2004, September 30 - October 1, 2004, University of Paderborn, Germany.
BibTeX | RIS

Gabriel Juhás, Robert Lorenz and Christian Neumair. 2004. Synthesis of controlled behavior with modules of signal nets. In Jordi Cortadella and Wolfgang Reisig (Ed.). Applications and theory of petri nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 3099), 238-257. 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. In E. Schnieder (Ed.). Entwurf komplexer Automatisierungssysteme: EKA 2003: Entwurfsmethodik, Modellbildung, Werkzeuge und Anwendungen; 8. Fachtagung, 11. bis 13. Juni 2003 in Braunschweig. Technische Universität Braunschweig, Braunschweig, 273-295.
PDF | BibTeX | RIS

Jörg Desel, Gabriel Juhás, Robert Lorenz and Christian Neumair. 2003. Modellierung, Komposition, Semantik, Verhalten. In 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. In 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. In Wil M. P. van der Aalst and Mathias Weske (Ed.). Business process management: International Conference, BPM 2003 Eindhoven, The Netherlands, June 26–27, 2003. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 2678), 380-389. 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. In Wil M. P. van der Aalst and Eike Best (Ed.). Applications and theory of petri nets 2003: 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 2679), 357-376. 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. DOI: 10.1016/s1571-0661(04)80746-1
BibTeX | RIS | DOI

Gabriel Juhás and Robert Lorenz. 2002. Modelling with Petri modules. In Benoît Caillaud, Philippe Darondeau, Luciano Lavagno and Xiaolan Xie (Ed.). Synthesis and Control of Discrete Event Systems. Springer US, Boston, MA, 125-138. DOI: 10.1007/978-1-4757-6656-1_8
BibTeX | RIS | DOI

Gabriel Juhás and Robert Lorenz. 2002. Von Prozesstermen zu partiellen Ordnungen. In 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. In G. Juhás, Robert Lorenz (Eds.). 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. In Hartmut Ehrig, Julia Padberg, Gabriel Juhás and Grzegorz Rozenberg (Ed.). Unifying petri nets: advances in petri nets. Springer, Berlin [u.a.] (Lecture Notes in Computer Science ; 2128), 126-172. 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. In Gabriel Juhás, Robert Lorenz (Eds.). 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.. In Themenworkshop "Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen", DFG-Schwerpunktprogramm "Softspez", Berlin.
BibTeX | RIS

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

Gabriel Juhás and Robert Lorenz. 2000. Inkrementeller Steuerungsentwurf von Produktionssystemen. In 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. In 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. In Mogens Nielsen and Dan Simpson (Ed.). Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000. Springer, Berlin (Lecture Notes in Computer Science ; 1825), 146-165. DOI: 10.1007/3-540-44988-4_10
PDF | BibTeX | RIS | DOI