مرکز منطقه ای اطلاع رساني علوم و فناوري - Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Title of article :

Timed Petri nets and timed automata: On the discriminating power of zeno sequences

Author/Authors :

Patricia Bouyer، نويسنده , , Serge Haddad، نويسنده , , Pierre-Alain Reynier، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

107

Keywords :

Timed automata , Timed Petri nets , Expressiveness

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262453

Link To Document :