Time-independent Liveness in Time Petri Nets

Authors:
Jörg Peter Bachmann;Louchka Popova-Zeugmann
Affiliations:
Department of Mathematics, Humbold University, Berlin, Germany. bachmanj@math.hu-berlin.de;(Correspd.) Department of Computer Science, Humboldt University, Berlin, Germany. popova@informatik.hu-berlin.de
Venue:
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Year:
2010

Citing 4
Cited 0

Structure theory of Petri nets: the free choice hiatus

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Modeling and Verification of Time Dependent Systems Using Time Petri Nets

IEEE Transactions on Software Engineering
Analyzing paths in time petri nets

Fundamenta Informaticae - Special issue on Petri nets
A study of the recoverability of computing systems.

A study of the recoverability of computing systems.

Quantified Score

Hi-index	0.00

Visualization

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.