Cycle time computation in deterministically timed weighted marked graphs

M Nakamura,M Silva

doi:10.1109/etfa.1999.813105

Cycle time computation in deterministically timed weighted marked graphs

M Nakamura, M Silva

https://doi.org/10.1109/etfa.1999.813105

Copy DOI

Publication Date: Oct 18, 1999

Citations: 19

Affiliation: University of the Ryukyus, Universidad de Zaragoza

#Cycle Time Computation #Minimum Cycle Time + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

This paper considers the minimum cycle time (MCT) computation in deterministically timed weighted marked graphs (WMGs) under infinite server semantics. A transformation from a live and bounded WMG system into a live and bounded MG system is proposed in which the untimed behavior (represented by the Petri net language) and the minimum cycle time are preserved. By applying the well known LPP to the transformed MG system, the MCT can be computed exactly. The computational complexity of our approach is polynomial with respect to |X|, the size of the elementary T-semiflow of the original WMG.

Full Text