Abstract-The teori om regioner infördes i början av nittiotalet som en metod för att överbrygga tillstånd och händelser-baserade modeller. I detta dokument behandlas problemet med att härleda ett Petrinät från en statsbaserad modell med hjälp av regionteorin. Vissa av de begränsningar som krävs i det traditionella tillvägagångssättet stryks i detta dokument, tillsammans med betydande utvidgningar som gör tillvägagångssättet tillämpligt i nya scenarier. Ett av dessa scenarier är Process Mining, där acceptera (upptäckt) ytterligare beteende i syntetiserade Petri nätet ibland värderas. Den algoritmiska betoning som används i denna uppsats bidrar till avmystifieringen av teorin om regioner som bara var en bra teoretisk övning, vilket öppnar dörren för dess tillämpning inom det industriella området.
Teorin om regionen används i deras tillvägagångssätt som en metod för att överbrygga FSM och Petri-Net modeller som också föreslås i REF.
New Region-Based Algorithms for Deriving Bounded Petri Nets
{'venue': 'IEEE Transactions on Computers', 'journal': 'IEEE Transactions on Computers', 'mag_field_of_study': ['Computer Science']}