New coloured reductions for software validation

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 37, Issue 18, 2004, Pages 345-350

  Evangelista, Sami ^a   Haddad, Serge ^b   Pradat Peyre, Jean Francois ^a  

^a CEDRIC CNAM   (France)

^b UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

High level petri nets; Reductions; Software validation

Indexed keywords

DISCRETE EVENT SIMULATION; REDUCTION;

APPLICATION AREA; CARDINALITIES; HIGH-LEVEL PETRI NETS; LTL FORMULAE; ORDINARY PETRI NET; SOFTWARE VALIDATION; STATE BASED; STRUCTURAL MODELING;

PETRI NETS;

EID: 26444470852     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)30770-X     Document Type: Conference Paper

References (6)

1. C. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. On well-formed colored nets and their symbolic reachability graph. In ICATPN, Paris-France, June 1990.
2. J .M. Colom, J. Mvlartinez. and M. Silva. Packages for validating discrete production systems modeled with Petri nets. In I.VJA CS-IFA C Symposium, Lille, France, 1986.
3. S .Evangelista, S. Haddad. and J.F. Pradat-Peyre. New coloured reductions for software validation. Technical Report 6.55. CEDRIC. C~A}'1. Paris. 2004a.
4. S. Evangelista, S. Haddad, and J.F. PradatPeyre. Petri nets reductions for software validation. Technical report. CEDRIC, CNAN, Paris, 2004b.
5. H.J. Genrich. Equivalence transformations of prt-nets. In Jensen and Rozenberg, editors. High-level Petri J'jets. Theory and Application, volume 424, pages 426-453. Springer-Verlag, 1990.
6. S. Haddad. A reduction theory for colored nets. In Jensen and Rozenberg, editors, High-level Petri Nets. Theory and Application, Volume 424 of LJ\'CS, pages 399-425. Springer-Verlag, 1990.