Timed Petri nets are considered in this paper, with the aim of providing an efficient tool for the modelling and the analysis of timed models, such as automated manufacturing systems (AMS) and intelligent transportation systems (ITS). In the proposed model, timings are associated with transitions, and firing times are deterministic values. Such a model, the deterministic-timed Petri nets (DTPN), is characterized by a certain number of assumptions. In a DTPN the system state is represented by the joint information consisting of the marking of places and of the residual firing times of timed transitions, and, under the assumptions which characterize the proposed model, it is possible to describe the evolution of the system state in a relatively simple way. In the paper, three subclasses of DTPN are also introduced, and two examples relevant to the application of the proposed model to AMS e ITS are discussed.

Definitions and applications of deterministic-timed Petri nets (DTPN)

GIGLIO, DAVIDE
2006

Abstract

Timed Petri nets are considered in this paper, with the aim of providing an efficient tool for the modelling and the analysis of timed models, such as automated manufacturing systems (AMS) and intelligent transportation systems (ITS). In the proposed model, timings are associated with transitions, and firing times are deterministic values. Such a model, the deterministic-timed Petri nets (DTPN), is characterized by a certain number of assumptions. In a DTPN the system state is represented by the joint information consisting of the marking of places and of the residual firing times of timed transitions, and, under the assumptions which characterize the proposed model, it is possible to describe the evolution of the system state in a relatively simple way. In the paper, three subclasses of DTPN are also introduced, and two examples relevant to the application of the proposed model to AMS e ITS are discussed.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11567/259287
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact