Title of article :
Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets
Author/Authors :
Ph. Darondeau، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Keywords :
Petri net , Bounded , Persistent , Concurrency , Minimal automaton
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters