Towards a simplified building of time Petri Nets reachability graph

Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993

Volumn , Issue , 1993, Pages 46-55

  Boucheneb, H ^a   Alger, U ^a   Berthelot, G ^a  

^a CEDRIC   (France)

Author keywords

reachability graph; state classes; time Petri nets

Indexed keywords

FIRING CONDITIONS; IS-ENABLED; REACHABILITY GRAPHS; STATE CLASSES; SUBGRAPHS; TIME PETRI NETS;

PETRI NETS;

EID: 33749143507     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1993.393436     Document Type: Conference Paper

References (7)

1. [AY A,85] J.M. A yache, P. Azema, B.Berthomieu, M.Diaz, J.Dufau "Conception et rialisation d'outils de spkification ct de validation des protocoles", rapport LAAS NO85063 Fcv 85.
2. [BER,83] B.Berthomieu, M.Mcnasche "An enumerative approach for analyzing time Pctri nets". IFIP Congress 1983, Paris, North-Holland.
3. [BER,91] B.Berthomieu, M. Diaz "Modeling and verification of timc dcpcndcnt systems using time Petri ncts", IEEE Transactions on Software Engineering vol 17, N03, March 91.
4. [MEN,82] M.Mcnaschc, "Analyse des rtscaux de Petri temporisk et application aux systhmes distributs", these de doctcur inghicur, universitt de Paul Sabatier, Toulousc, Novcmbrc 82.
5. [ROU,85] J.L.Roux, "Moddisation et analyse de syst6mes distribuCs par les rtseaux de Petri temporels", thkse de doctcur-inghicur, universitk Paul Sabatier, Toulouse, Dkcmbrc 85.
6. [FAN, 90] L.Fancclli "Methode de conception mixte asynchrone pour la rtalisation de systhmes de commandc de processus discontinus", thhse dc doctcur en sciences, universitk dc Nice-Sophia-Antipolis, Juillct 90.
7. [RAZ,84] R.R.Razouk, "The derivation of performance cxprcssions for communication protocols for timed Petri ncts", computcr communication rcvicw, vol. 14, no 12, pp 210-217, 1984.