Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation

Abstract : In this paper we consider Interval-Timed Petri nets (ITPN), an extension of Timed Petri nets in which the discrete time delays of transitions are allowed to vary within fixed intervals including possible zero durations. These nets will be analyzed for the first time under maximal step semantics with auto-concurrency. This matches well with the reality of time critical systems which could be modeled and analyzed with our model. Full algebraic representations of the semantics are proposed. We introduce time-dependent state equations for a sequence of global firing steps of ITPNs which are analogous to the state equation for a firing sequence in standard Petri nets and we prove its correctness using linear algebra. Our result delivers a necessary condition for reachability which is also a sufficient condition for non-reachability of an arbitrary marking in an ITPN.
Type de document :
Communication dans un congrès
PNSE'15, Jul 2015, Bruxelles, Belgium
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01800685
Contributeur : Elisabeth Pelz <>
Soumis le : dimanche 27 mai 2018 - 17:40:00
Dernière modification le : mercredi 14 novembre 2018 - 14:30:03
Document(s) archivé(s) le : mardi 28 août 2018 - 12:33:27

Fichier

PNSE-paper11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01800685, version 1

Collections

Citation

Elisabeth Pelz, Abderraouf Kabouche, Louchka Popova-Zeugmann. Interval-Timed Petri Nets with Auto-concurrent Semantics and their State Equation. PNSE'15, Jul 2015, Bruxelles, Belgium. 〈hal-01800685〉

Partager

Métriques

Consultations de la notice

18

Téléchargements de fichiers

14