مرکز منطقه ای اطلاع رساني علوم و فناوري - The synthesis of Petri nets from path-automatic specifications

Title of article :

The synthesis of Petri nets from path-automatic specifications

Author/Authors :

E. Badouel، نويسنده , , Ph. Darondeau، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2004

Pages :

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 :