We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Weak consistency of P-time event graphs

Abstract: P-time event graphs (P-TEGs) are event graphs where the residence time of tokens in places is bounded by specified time windows. In this paper, we define a new property of PTEGs, called weak consistency. In weakly consistent P-TEGs, the amount of times a transition can fire before the first violation of a time constraint can be made as large as desired. We show the practical implications of this property and, based on previous results in graph theory, we formulate an algorithm of strongly polynomial time complexity that verifies it. From this algorithm, it is possible to determine, in pseudo-polynomial time, the maximum number of firings before the first constraint violation in a P-TEG.
Comments: 7 pages, 3 figures, conference
Subjects: Systems and Control (eess.SY); Discrete Mathematics (cs.DM)
Cite as: arXiv:2206.00478 [eess.SY]
  (or arXiv:2206.00478v1 [eess.SY] for this version)

Submission history

From: Davide Zorzenon [view email]
[v1] Wed, 1 Jun 2022 13:15:17 GMT (509kb)

Link back to: arXiv, form interface, contact.