On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets

Petri nets are an important and popular tool to model and analyze deadlocks in automated manufacturing systems. The state space of a Petri net model can be divided into two disjoint parts: a live-zone and a dead-zone. A first-met bad marking (FBM) is a marking in the dead-zone, representing the very...

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Ngā kaituhi matua:	Dajiang Sun, Yufeng Chen, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Naiqi Wu, Zhiwu Li
Hōputu:	Artigo
Reo:	Inglês
I whakaputaina:	IEEE 2019-01-01
Rangatū:	IEEE Access
Ngā marau:	Petri net first-met bad marking deadlock control automated manufacturing system
Urunga tuihono:	https://ieeexplore.ieee.org/document/8805253/
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!