![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Characterisation of the state spaces of marked graph Petri nets
Keywords: نمودارهای مشخص شده; Labelled transition systems; Marked graphs; Petri nets; Region theory; System synthesis;