Modular analysis of systems composed of semiautonomous subsystems

Proceedings - Fourth International Conference on Application of Concurrency to System Design, ACSD 2004

Volumn , Issue , 2004, Pages 185-194

  Lakos, Charles ^a   Petrucci, Laure ^b  

^a UNIVERSITY OF ADELAIDE   (Australia)

^b Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED GUIDED VEHICLES (AGV); FACTORY AUTOMATION SYSTEMS; PROTOTYPE TOOLS;

APPROXIMATION THEORY; COMPUTER WORKSTATIONS; MATHEMATICAL MODELS; PETRI NETS; PROBLEM SOLVING;

AUTONOMOUS AGENTS;

EID: 10444269484     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2004.1309131     Document Type: Conference Paper

References (11)

1. G. Berthelot. Checking properties of nets using transformations. In Advances in Petri Nets, volume 222 of Lecture Notes in Computer Science, pages 19-40. Springer, 1985.
2. S. Christensen and L. Petrucci. Modular analysis of Petri nets. The Computer Journal, 43(3):224-242, 2000.
3. DESIGN/CPN online. http://www.daimi. au.dk/designCPN.
4. FSM library - General purpose finite-state machine software tools. http://www. research.att.com/sw/tools/fsm.
5. A user guide to HYTECH. http://www. eecs.berkeley.edu/~tah/HyTech.
6. B. Krogh and L. Holloway. Synthesis of feedback control logic for discrete manufacturing systems. Automatica, 27(4), 1991.
7. META Software and Aarhus University. Design/CPN 3.0, 1996. Also available as: http: //www.daimi.au.dk/designCPN.
8. B. Meyer. Object-Oriented Software Construction. Prentice Hall Int., New York, 2nd edition, 1997.
9. L. Petrucci. Design and validation of a controller. In Proc. 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000), Orlando, FL, USA, July 2000, volume VIII, pages 684-688. International Institute of Informatics and Systemics, 2000.
10. L. Petrucci. Modélisation, vérification et applications. Mémoire d'habilitation à diriger des recherches, Université d'Evry, Dec. 2002.
11. P. S. Thiagarajan. Cyclic communicating processes. In Proc. 3rd Int. Conf. on Application of Concurrency to System Design (ACSD'03), Guimarães, Portugal, June 2003, page 4. IEEE Comp. Soc. Press, 2003.