مرکز منطقه ای اطلاع رساني علوم و فناوري - Process semantics of general inhibitor nets

Title of article :

Process semantics of general inhibitor nets

Author/Authors :

H. C. M. Kleijn، نويسنده , , M. Koutny، نويسنده ,

Issue Information :

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

Pages :

From page :

To page :

Keywords :

processes , Step sequences , Weighted inhibitor arcs , Causality semantics , Petri nets , theory of concurrency , Occurrence nets

Journal title :

Information and Computation

Serial Year :

2004

Journal title :

Information and Computation

Record number :

262224

Link To Document :