Proença « VHDL generation from hierarchical Petri net specifications of parallel controlers, IEE Proc. Part E, Computers and Digital Techniques, pp.127-137, 1997. ,
Digital systems synthesis from Petri net descriptions, DAIMI Report Series, vol.27, issue.530, 1998. ,
DOI : 10.7146/dpb.v27i530.7059
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.50.5237
Petri nets: Properties, analysis and applications, IEEE, pp.541-580, 1989. ,
DOI : 10.1109/5.24143