Jump to : Keyword | Contact | BibTex reference | EndNote reference |

atpn06fabre

E. Fabre. On the Construction of Pullbacks for Safe Petri Nets. In Applications and Theory of Petri Nets and other Models of Concurrency, ATPN'06, Turku, Finland, June 2006.

Keyword

[ Petri nets ]

Contact

Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/

BibTex Reference

@InProceedings{atpn06fabre,
   Author = {Fabre, E.},
   Title = {On the Construction of Pullbacks for Safe Petri Nets},
   BookTitle = {Applications and Theory of Petri Nets and other Models of Concurrency,    ATPN'06, Turku, Finland},
   Month = {June},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)