Mô hình
mạng Petri được Carl Adam Petri đề xuất vào năm 1962, trải qua hơn 40 năm phát triển, từ một
mạng Petri đơn giản ban đầu, những người quan tâm nghiên cứu đã cho ra đời một loạt các loại
mạng Petri mức cao (Coloured Petri Net, Predicate Petri Net, Stochastic Petri Ne[r]