Lehrveranstaltungen
Petrinetze in der Softwaretechnologie
Hauptseminar (SS 19) - LiteraturLiteraturliste (alphabetisch sortiert)
[1] Jörgen Brandt and Wolfgang Reisig. Modeling erlang processes as petri nets. In Natalia Chechina and Adrian Francalanza, editors, Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018 , pages 6166. ACM, 2018.
[2] Guoting Chang and Dana Kulic. Robot task error recovery using Petri nets learned from demonstration. ICAR 2013: 1-6.
[3] Alain Finkel and Jérôme Leroux. Recent and simple algorithms for petri nets. Software and System Modeling, 14(2):719725, 2015. 1
[4] Wolfgang Reisig. Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013.
[5] Ryan Stansifer and Dan Marinescu. Colored petri net models of concurrent ada programs. 01 1990.
[6] Marvin Triebel and Jan Sürmeli. Characterizing stable and deriving valid inequalities of petri nets. Fundam. Inform., 146(1):134, 2016.
[7] Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, and Moe Thandar Wynn. Process mining manifesto. In Florian Daniel, Kamel Barkaoui, and Schahram Dustdar, editors, Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, volume 99 of Lecture Notes in Business Information Processing, pages 169194. Springer, 2011.
[8] Rui Wang, Lars Michael Kristensen, Hein Meling, and Volker Stolz. Application of model-based testing on a quorum-based distributed storage. In Daniel Moldt, Lawrence Cabac, and Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., volume 1846 of CEUR Workshop Pro- ceedings, pages 177196. CEUR-WS.org, 2017.
[9] Karsten Wolf. Running lola 2.0 in a model checking competition. T. Petri Nets and Other Models of Concurrency, 11:274285, 2016. 2
[10] Karsten Wolf. Petri net synthesis with union/find. In Victor Khomenko and Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, volume 10877 of Lecture Notes in Computer Science, pages 6081. Springer, 2018,
[1] Jörgen Brandt and Wolfgang Reisig. Modeling erlang processes as petri nets. In Natalia Chechina and Adrian Francalanza, editors, Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, ICFP 2018, St. Louis, MO, USA, September 23-29, 2018 , pages 6166. ACM, 2018.
[2] Guoting Chang and Dana Kulic. Robot task error recovery using Petri nets learned from demonstration. ICAR 2013: 1-6.
[3] Alain Finkel and Jérôme Leroux. Recent and simple algorithms for petri nets. Software and System Modeling, 14(2):719725, 2015. 1
[4] Wolfgang Reisig. Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013.
[5] Ryan Stansifer and Dan Marinescu. Colored petri net models of concurrent ada programs. 01 1990.
[6] Marvin Triebel and Jan Sürmeli. Characterizing stable and deriving valid inequalities of petri nets. Fundam. Inform., 146(1):134, 2016.
[7] Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, and Moe Thandar Wynn. Process mining manifesto. In Florian Daniel, Kamel Barkaoui, and Schahram Dustdar, editors, Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I, volume 99 of Lecture Notes in Business Information Processing, pages 169194. Springer, 2011.
[8] Rui Wang, Lars Michael Kristensen, Hein Meling, and Volker Stolz. Application of model-based testing on a quorum-based distributed storage. In Daniel Moldt, Lawrence Cabac, and Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017., volume 1846 of CEUR Workshop Pro- ceedings, pages 177196. CEUR-WS.org, 2017.
[9] Karsten Wolf. Running lola 2.0 in a model checking competition. T. Petri Nets and Other Models of Concurrency, 11:274285, 2016. 2
[10] Karsten Wolf. Petri net synthesis with union/find. In Victor Khomenko and Olivier H. Roux, editors, Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, volume 10877 of Lecture Notes in Computer Science, pages 6081. Springer, 2018,