Time-independent Liveness in Time Petri Nets

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Peter Bachmann, Jörg | Popova-Zeugmann, Louchka

Affiliations: Department of Mathematics, Humbold University, Berlin, Germany. bachmanj@math.hu-berlin.de | Department of Computer Science, Humboldt University, Berlin, Germany. popova@informatik.hu-berlin.de

Note: [] Address for correspondence: Department of Computer Science, Humboldt University, Berlin, Germany

Abstract: In this paper we consider a class of Time Petri nets defined by structural restrictions. Each Time Petri net which belongs to this class has the property that their liveness behaviour does not depend on the time. Therefore, the Time Petri net is live when its skeleton is live.

DOI: 10.3233/FI-2010-293

Journal: Fundamenta Informaticae, vol. 102, no. 1, pp. 1-17, 2010