Title of article :
A well-structured framework for analysing petri net extensions
Author/Authors :
Alain Finkel، نويسنده , , Pierre McKenzie، نويسنده , , Claudine Picaronny، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2004
Keywords :
Logic and verification of computer program , Algorithms , Decidability , Theory of parallel and distributed computation
Journal title :
Information and Computation
Journal title :
Information and Computation
