Chatain06a

T. Chatain, C. Jard. Complete finite prefixes of symbolic unfoldings of safe time Petri nets. In Proc. of ICATPN, LNCS, Pages 125-145, June 2006.

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{Chatain06a,
   Author = {Chatain, T. and Jard, C.},
   Title = {Complete finite prefixes of symbolic unfoldings of safe time Petri    nets},
   BookTitle = {Proc. of ICATPN},
   Number = {4024},
   Pages = {125--145},
   Series = {LNCS},
   Month = {June},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)