Time Recursive Petri Net - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Time Recursive Petri Net

Djaouida Dahmani
  • Fonction : Auteur
Jean-Michel Ilié
  • Fonction : Auteur
  • PersonId : 962210
Modélisation et Vérification
Malika Boukala
  • Fonction : Auteur

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01305780

Soumis le : jeudi 21 avril 2016-17:39:34

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01305780 , version 1 (21-04-2016)

Identifiants

  • HAL Id : hal-01305780 , version 1

Citer

Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala. Time Recursive Petri Net. International Workshop of Petri Nets and Software Engineering (PNSE 2007), in conjunction with the 28th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency (Petri Nets 2007), Jun 2007, Sliedlce, Poland. pp.37-51. ⟨hal-01305780⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
75 Consultations
0 Téléchargements

Partager

More