Código QR (código de barras bidimensional)

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...

Fuld beskrivelse

Na minha lista:
Principais autores: Dajiang Sun, Yufeng Chen, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Naiqi Wu, Zhiwu Li
Format: Artigo
Sprog:Inglês
Udgivet: IEEE 2019-01-01
Serier:IEEE Access
Fag:
Petri net
first-met bad marking
deadlock control
automated manufacturing system
Online adgang:https://ieeexplore.ieee.org/document/8805253/
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker