Characterisation of the state spaces of marked graph Petri nets
Keywords: نمودارهای مشخص شده; Labelled transition systems; Marked graphs; Petri nets; Region theory; System synthesis;