A monitor solution to enforce legal transition firing sequences problems by using Petri nets.

Xiang GaoZhiWu LiAnrong WangAbdulrahman Al-Ahmari
Published in: CASE (2014)