Title of article
The synthesis of Petri nets from path-automatic specifications
Author/Authors
E. Badouel، نويسنده , , Ph. Darondeau، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
19
From page
117
To page
135
Keywords
Petri nets , synthesis , specifications , Automatic graphs , Modal transitions
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262252
Link To Document