Time Recursive Petri Nets - revisited - Archive ouverte HAL
Article Dans Une Revue LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2008

Time Recursive Petri Nets - revisited

Djaouida Dahmani
  • Fonction : Auteur
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Malika Boukala
  • Fonction : Auteur

Résumé

We propose an extension of Recursive Petri Nets (TRPNs) based on the semantics of the Time Petri Nets (TPNs). TRPNs are well suited for analyzing and modeling timing requirements of complex discrete event system and allow to represent a model at different levels of abstraction. We give a formal semantics of this extended model and show that TRPNs are more expressive than TPNs. Moreover, we propose a method for building a specific state class graph that can be used to analyze timing properties efficiently.

Dates et versions

hal-01303785 , version 1 (18-04-2016)

Identifiants

Citer

Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala. Time Recursive Petri Nets - revisited. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2008, Lecture Notes in Computer Science, 5100 (I), pp.104-118. ⟨10.1007/978-3-540-89287-8_7⟩. ⟨hal-01303785⟩
51 Consultations
0 Téléchargements

Altmetric

Partager

More