|
 
|
[DB 14] Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems
Conférence Internationale avec comité de lecture : IEEE 11th International Conference on Networking, Sensing and Control (ICNSC 2014), April 2014, pp.578-583, Miami, USA,Mots clés: Process and resource-oriented Petri nets ; intrinsically live structures
Résumé:
As an effective and graphical mathematical tool,
Petri nets are extensively used in the modeling, analysis, veri-
fication, and control of automated manufacturing systems. Process
and resource-oriented Petri nets (POPNs and ROPNs) are
successively proposed in literature focusing on the description
of product process and resource usage sequence, respectively.
Structural theory is applied on both to solve the deadlock control
problem. In this work, a class of colored ROPNs (CROPNs) is
defined corresponding to WS3PR that is a class of POPNs. A
kind of intrinsically live structures (ILSs) is investigated in both
POPNs and CROPNs. Several examples are used to illustrate the
work
Commentaires:
http://toc.proceedings.com/22272webtoc.pdf
BibTeX
| @inproceedings { | |||
| DB 14, | |||
| title | = | "{Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems}", | |
| author | = | " L. Ding and K. Barkaoui and M. Zhou ", | |
| booktitle | = | "{IEEE 11th International Conference on Networking, Sensing and Control (ICNSC 2014)}", | |
| year | = | 2014, | |
| edition | = | "IEEE", | |
| month | = | "April", | |
| pages | = | "578-583", | |
| address | = | "Miami, USA", | |
| note | = | "{http://toc.proceedings.com/22272webtoc.pdf}", | |
| } | |||
