Centre d'Etude et De Recherche en Informatique et Communications (EA4629) |
|
Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains
[HKP09] Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains
Rapport Scientifique : Date de dépot: 2009/01/01, (Tech. Rep.: CEDRIC-09-1780) (note)
motcle:
Résumé:
resume
Collaboration:
LIPN
| @techreport { | |||
| HKP09, | |||
| title | = | "{Efficient State-Based Analysis by Introducing Bags in Petri Net Color Domains}", | |
| author | = | "S. Haddad and F. Kordon and L. Petrucci and J. Pradat-Peyre and N. Treves", | |
| number | = | "{CEDRIC-09-1780}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-2009}, | |
| note | = | "{note}", | |
| } | |||
Agenda
 Suivre le laboratoire
|
ContactsCNAM-CEDRIC ENSIIE-CEDRIC |