Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Petri Nets with Clocks and Applications to the Model of Processes

Petri Nets with Clocks and Applications to the Model of Processes
View Free PDF
Author(s): Gabriel Vilallonga (Universidad Nacional de San Luis, Argentina), Daniel Riesco (Universidad Nacional de San Luis, Argentina), German Montejano (Universidad Nacional de San Luis, Argentina), Roberto Uzal (Universidad Nacional de San Luis, Argentina) and L. Felice (INTIA, Argentina)
Copyright: 2002
Pages: 5
Source title: Issues & Trends of Information Technology Management in Contemporary Organizations
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-930708-39-6.ch155
ISBN13: 9781930708396
EISBN13: 9781466641358


Petri Nets are tools for the analysis and design of concurrent systems. There is a formal theory, which supports Petri Nets. We propose Petri Nets with Clocks (PNwC) which has a high expressive power in the concurrent and asynchronous process modeling and gives the possibility to model real time systems. The Petri Nets with Clocks are useful to model systems with temporal requirements via specification of clocks, using temporal invariants for the places and temporal conditions in the transitions. In PNwC we force to specifies invariants in places and transitions. Using invariants in places allows the specifications of hard deadlines constrains (upper bound constrains): when a deadline is reached the progress of time is blocked by the invariant and the action becomes urgent. An algorithm for the analysis of a PNwC has been proposed in [1], [2]. This algorithm is oriented to the verification and correction of errors in the modeling of the time variable. The algorithm generates information about temporal unreachable states and process deadlocks with temporal blocks. Also, it corrects places invariants and transitions conditions. In this paper we give an approach to the use of PNwC for the Business Processes Modeling, allowing to study the models through a qualitative analysis.

Body Bottom