[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)

Auteurs: S. Haddad , F. Kordon , L. Petrucci , J. Pradat-Peyre , N. Treves

motcle:

Résumé: resume

Commentaires: note

Collaboration: LIP6 , LIPN

BibTeX

@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}",
}