Jump to : Contact | BibTex reference | EndNote reference |

BadouelD04

Eric Badouel, Philippe Darondeau. The synthesis of Petri nets from path-automatic specifications. Information and Computation, 193(2):117-135, 2004.

Contact

Eric Badouel
Philippe Darondeau

BibTex Reference

@article{BadouelD04,
   Author = {Badouel, Eric and Darondeau, Philippe},
   Title = {The synthesis of Petri nets from path-automatic specifications},
   Journal = {Information and Computation},
   Volume = {193},
   Number = {2},
   Pages = {117--135},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)