This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Application of Concurrency to System Design (ACSD'04)
Modular Analysis of Systems Composed of Semiautonomous Subsystems
Hamilton, Ontario, Canada
June 16-June 18
ISBN: 0-7695-2077-4
ASCII Text
x 
 
Charles Lakos, Laure Petrucci, "Modular Analysis of Systems Composed of Semiautonomous Subsystems," 2010 10th International Conference on Application of Concurrency to System Design, pp. 185, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/CSD.2004.1309131,
author = {Charles Lakos and Laure Petrucci},
title = {Modular Analysis of Systems Composed of Semiautonomous Subsystems},
journal ={2010 10th International Conference on Application of Concurrency to System Design},
volume = {0},
year = {2004},
isbn = {0-7695-2077-4},
pages = {185},
doi = {http://doi.ieeecomputersociety.org/10.1109/CSD.2004.1309131},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2010 10th International Conference on Application of Concurrency to System Design
TI - Modular Analysis of Systems Composed of Semiautonomous Subsystems
SN - 0-7695-2077-4
SP
EP
A1 - Charles Lakos,
A1 - Laure Petrucci,
PY - 2004
KW - null
VL - 0
JA - 2010 10th International Conference on Application of Concurrency to System Design
ER -
 
Charles Lakos, University of Adelaide, Australia
Laure Petrucci, Universit? Paris XIII, France
This paper reviews a proposal for the modular analysis of Petri nets and its applicability to factory automation systems. It presents new algorithms to harness this modular analysis in the determination of reachable states with specified partial markings, to determine possible deadlocks, both global and local, and also liveness. These algorithms have been implemented in a prototype tool which has then been used to solve a problem in factory automation which, even for relatively simple configurations, can lead to state spaces beyond the capabilities of many analysis tools.
Citation:
Charles Lakos, Laure Petrucci, "Modular Analysis of Systems Composed of Semiautonomous Subsystems," acsd, pp.185, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.