Executability of scenarios in Petri nets

  • Authors:

  • Robert Lorenz;Gabriel Juhás;Robin Bergenthum;Jörg Desel;Sebastian Mauser

  • Affiliations:

  • Lehrstuhl für Angewandte Informatik, Katholische Universität, Eichstätt-Ingolstadt, 85071 Eichstätt, Germany;Faculty of Electrical Engineering and Information Technology, Slovak University of Technology, Bratislava, Slovakia;Lehrstuhl für Angewandte Informatik, Katholische Universität, Eichstätt-Ingolstadt, 85071 Eichstätt, Germany;Lehrstuhl für Angewandte Informatik, Katholische Universität, Eichstätt-Ingolstadt, 85071 Eichstätt, Germany;Lehrstuhl für Angewandte Informatik, Katholische Universität, Eichstätt-Ingolstadt, 85071 Eichstätt, Germany

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 5.23

Visualization

Abstract

In this paper, we show that it can be tested in polynomial time as to whether a scenario is an execution of a Petri net. This holds for a wide variety of Petri net classes, ranging from elementary nets to general inhibitor nets. Scenarios are given by causal structures expressing causal dependencies and concurrency among events. In the case of elementary nets and of place/transition nets, such causal structures are partial orders among transition occurrences. For several extended Petri net classes, the extension of partial orders to stratified order structures is considered. The algorithms are based on the representation of the non-sequential behavior of Petri nets by so-called token flow functions and a characterization of Petri net executions called token flow property. This property allows nontrivial transformations into flow optimization problems, which can be solved in polynomial time. The paper is a revised, consolidated and extended version of the conference papers [G. Juhas, R. Lorenz, J. Desel, Can I execute my scenario in your net?, in: G. Ciardo, P. Darondeau (Eds.), ICATPN, in: Lecture Notes in Computer Science, Springer, 2005, pp. 289-308; R. Lorenz, S. Mauser, R. Bergenthum, Testing the Executability of Scenarios in General Inhibitor Nets, in: ACSD, IEEE Computer Society, 2007, pp. 167-176] and includes parts of the habilitation thesis [R. Lorenz, Szenario-basierte Verifikation und Synthese von Perinetzen: Theorie und Anwendungen, Habilitation, 2006].