A Holistic State Equation for Timed Petri Nets

• Autorzy: Werner M. , Popova-Zeugmann L. , Haustein M. , Pelz E.

Identyfikatory

DOI

10.3233/FI-2014-1078

• Języki publikacji: EN

Abstrakty

EN

In this paper we investigate Timed Petri nets (TPN) with fixed, possibly zero, durations and maximal step semantics. We define a new state representationwhere a state is a pair of a marking for the places and a marking for the transitions (a matrix of clocks). For this representation of states we provide an algebraic state equation. Such a state equation lets us prove a sufficient condition for the non-reachability of a state in a TPN. This application of the state equation is subsequently illustrated by an example.

Słowa kluczowe

EN

Petri nets; semantics; algebraic equations; maximal function; application software

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2014
• Tom: Vol. 133, nr 2/3
• Strony: 305--322
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Werner M.

• Fakultät für Informatik, Technische Universität Chemnitz, Germany

autor

Popova-Zeugmann L.

• Institut für Informatik, Humboldt-Universität zu Berlin, Germany

autor

Haustein M.

• Fakultät für Informatik, Technische Universität Chemnitz, Germany

autor

Pelz E.

• LACL, UPEC, France

Bibliografia

• [1] Ramchandani, C.: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC-TR 120, MIT (February 1974).
• [2] Popova-Zeugmann, L.: Time and Petri Nets. Springer (2013).
• [3] Popova-Zeugmann, L.: Quantitative Evaluation of Time-dependent Petri Nets and Applications to Biochemical Networks. Natural Computing 10(3) (2011) 1017-1043.
• [4] Zuberek,W.M.: Hierarchical Derivation of Schedules for Manufacturing Cells. In: 9th Symposium on Information Control in Manufacturing, Nancy-Metz, France (1998) 423-428.
• [5] Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. IEEE 77(4) (1989) 541-580.
• [6] Popova-Zeugmann, L.,Werner, M., Richling, J.: Using State Equation to Prove Nonreachability in Timed Petrinets. Fundamenta Informaticae 55(2) (August 2002) 187-202.
• [7] Popova-Zeugmann, L., Pelz, E.: Algebraical Characterisation of Interval-Timed Petri Nets with discrete delays. Fundamenta Informaticae 120(3-4) (2012) 341-357.
• [8] Starke, P.H.: INA Integrated Net Analyzer. User manual, HU Berlin (1997).