In this chapter we study Time Petri nets: After the introduction of this kind of time-dependent
Petri net, we will discuss variations of the rules defining the possible state changes. We then …

Time management in workflow processes is crucial in determining and controlling the life
cycle of business activities. In our model, a temporal interval as an execution duration is …

We present a state space method for Petri nets having a time concept based on a global
clock and associating time stamps to tokens. The method is based on equivalence on states …

This paper extends modular state space construction for concurrent systems to cater for
timed systems. It identifies different forms of timed state space and presents algorithms for …

In this paper, a parametric description of a transition sequence in a Time Petri net is
introduced. The minimal and maximal time duration of a transition sequence are shown to …

This paper deals with studying the behaviour of Time Petri nets in a discrete way. It is shown
that although a continuous time model is used here, only a few time points are important for …

Workflow Management Systems [26] are networked computer systems which enable the
specification, analysis, coordination, and enactment of organizational procedures. Although …

In this paper we discuss several approaches to time in Petri nets. If time is considered for
performance analysis, probability distributions for choices should be included into the model …

Over the last few decades, robots have been successfully used in controlled environments of
industrial settings as pre-programmed devices capable of carrying out boring and repetitive …

We consider here the interval timed coloured Petri net model (ITCPN). This model
associates with each created token a time interval specifying when the token will become …