Timed Processes of Interval-Timed Petri Nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Timed Processes of Interval-Timed Petri Nets

Résumé

In this paper we use partial order semantics to express the truly concurrent behaviour of interval-timed Petri nets (ITPNs) in their most general setting, i.e. with autoconcurrency and zero duration, as studied with its standard maximal step semantics in [8]. First we introduce the notion of timed processes for ITPNs inductively. Then we investigate if the equivalence of inductive and axiomatic process semantics true for classical Petri nets-could hold for ITPNs too. We will see that the notions of independence and immediate firing obligation seem to be antagonistic ones, and that local axioms, adequate to define processes of classical Petri nets, are not sufficient to caracterize timed Processes of IITPNs. We propose several original " global " axioms which reveal to be an effective solution. Thus we yield finally a full axiomatic definition of timed processes for ITPNs.
Fichier principal
Vignette du fichier
CS&P-final-Pelz.pdf (357.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01800681 , version 1 (27-05-2018)

Identifiants

  • HAL Id : hal-01800681 , version 1

Citer

Elisabeth Pelz. Timed Processes of Interval-Timed Petri Nets. CS&P, ceur-ws.org/Vol-1698, Sep 2016, Rostock, Germany. ⟨hal-01800681⟩

Collections

CNRS LACL UPEC
45 Consultations
14 Téléchargements

Partager

Gmail Facebook X LinkedIn More