Liveness characteristic analysis of a class of Petri nets
Petri nets are an effective tool for analyzing and modeling the dynamic behavior of flexible manufacturing systems. Finite capacity systems of simple sequential processes with resources are an important subclass of Petri nets, for which this article gives a liveness characteristic analysis. First, a...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2018-06-01
|
| Series: | Advances in Mechanical Engineering |
| Online Access: | https://doi.org/10.1177/1687814018781487 |