241

Bibliografia

[AUT_INTEGRATA] “Non Solo CPU” - Automazione Integrata - Ottobre 1997 [AZZOPARDI] “Petri Nets and OMT for modelling and analysis of

DEDS” di D.Azzopardi, D.J. Holding Control Eng. Practice 1997 Vol. 5, No. 10, pp1407-1415 [BUCCI] “An Object-Orineted Dual Language for Specifying

Reactive System” - G. Bucci, M. Campanai, P. Nesi, M. Traversi - Università di Firenze.

[CAMAPANI] “Tools for specifying real-time system” di M.Campanai,

P.Nesi, G. Bucci - Real Time systems n. 8 1995 [CARFABFER] “A Structured Methodology for the Design and

Implementation of Hybrid Robot Controllers” di E. Carpanzano, R. Fabbri, L. Ferrarini

[CDM_REPORT] “Control Development Methodology - Definition Report”

di P.Putz, D. Msu - Doc. nr. CT1/CDR/DO issue 2.0, ESTEC, NL Settembre 1992.

[CHEN] “A Petri-Net and entity-relationship diagram based

object-oriented design method for manufacturing system control” - Key-Ying Chen, Shui-Shong Lu Internationl Journal Compuuter Integrated Manufacturing, 1997 Vol. 10, N. 1-4

[CONTROLSHELL] “The Control Shell component-based Real Time

Programming System” di S.A. Schneider, W.Chen, G.P.Castellote. IEEE International Conference on Robotics and Automation.

[COULORIS] Distributed System - Concepts and Design - 2nd Edition George Coulouris, Jean Dollimore, Tim Kindberg Addison-Wesley ISBN 0-201-62433-8 [CRAIG] “Visual Basic 4.0 Developer’s Workshop” John Clark Craig Microsoft Press - Mondadori Informatica ISBN 88-7131-

643-6 [DEVFRWORK] “The Development Framework” - Sheffield University -

Internet white papers.

242

[DRATH] “Visual object-oriented Petri net based engigneering tool” Internet white paper Rainer Drath - Ilmenau University

[FERRARINI] “Hierarchical multi-layer CAD system for systematic

design of complex logic controllers” di Luca Ferrarini Robotics & Computer-Integrated Manufacturing 1996

Vol. 12, No. 2, pp. 173-184 [FERRETTI] "Identificazione di risonanze meccaniche nei giunti di un

robot industriale" - G. Ferretti, G. Magnani, J. Krauss Automazione e strumentazione - Aprile 1995 - pag. 139-

145 [GENTILI/ZAGHI] “Un animatore integrato per l’animazione in VRML”

Tesi di laurea di M.Gentili e P.Zaghi Politecnico di Milano a.a. 1996/1997

[GHEZZI] “Ingegneria del software - Progettazione, sviluppo e

verifica.” Carlo Ghezzi, Alfonso Fuggetta, Sandro Morasca, Angelo

Morzenti, Mauro Pezzè. Mondadori Informatica [IEC 1131] “Controllori programmabili, Parte 3” Norma Italiana CEI EN 61131-3 conforme alla

pubblicazione IEC 1131-3. [IEC 1804] “Controllori programmabili, Parte 3” Norma Italiana CEI EN 61131-3 conforme alla

pubblicazione IEC 1131-3. [IEC 1499] Working Draft - Function Blocks for industrial process

measurement and control system. Parte 1 e Parte 2. ftp://ftp.cle.ab.com/stds/iec/tc65wg6/html/part1/toc.htm

[IEC1499FAQ] "IEC 1499 Frequently Asked Question" - White paper ftp://ftp.cle.ab.com/stds/iec/tc65wg6/html/faq.htm [ISO/IEC 7498-1] Information Tecnology - Open System Interconnection -

Basic Reference Model, 1987 [ISO/TR8509] ISO TR 8509-1987, Information processing systems - Open

Systems Interconnection - Service conventions [KERN-RITCHIE] “Linguaggio C - Seconda edizione” di Brian W.

Kernighan, Dennis M- Ritchie ISBN 88-7056-443-6 [MAGNANI] "Controllo del Moto"

243

Appunti delle lezioni di Robotica Industriale - Prof. Magnani - Politecnico di Milano

[MURRAY] Il Manuale Visual C++ - Programmazione in Windows William H. Murray, Chris H. Pappas

Mc Graw Hill - ISBN 88-386-0372-3 [NESI] “Life-Cycle of dual object-oriented specification models

for real-time systems” - di P.Nesi, M.A. Bruno, - Luglio 1996

Technical Report - Facoltà di ingegneria, Università di Firenze.

[POWER++] Sybase Powersoft Power++Enterprise Editon - Standard

Documents Version 96.09.12 http ://www.powersoft.com [RUSSO/ZANETTA] “Simulazione di architetture distribuite di controllo”

Tesi di Laurea di Claudio Russo e Paolo Zanetta Politecnico di Milano a.a. 1995/1996

[SCIAVICCO] "Robotica industriale modellistica e controllo di

manipolatori" Lorenzo Sciavicco, Bruno Siciliano - McGraw-Hill

[SHLAER/MELLOR] “Object Lifecycles - Modelling the World in States” Sally Shlaer, Stephen J. Mellor Yourdon Press Computing Series ISBN 0-13-629940-7 [TURBOC++] “Turbo C++, Programmer’s Manual” Borland International [TECNOSPAZIO] "Manuale per l'utilizzo del controllore Comau C3G

aperto" Tecnospazio S.p.A. doc. nr. PFREC-MT-TS-003 [TRINCA] "Compensazione in anello chiuso dei disturbi di coppia nei

motori brushless di un robot industriale". Tesina di Laurea di Alberto Trinca - Politecnico di Milano a.a. 1996/1997

[VISIOAUTREF] Visio Automation Reference

Shapeware Corp. - (Hypertext format) http ://www.visio.com

[WANG] “An integrated object-oriented Petri net paradigm for

manufacturing control system” di Li-Chih Wang International Journal of Computer Integrated

Manufactuting 1996 Vol. 9 No. 1, 73-87

244

[YOURDON ] “Object-Oriented Design” - E. Yourdon, P.Coad - Yourdon Press Computing Series

[ZURAWSKI] “Petri Nets and Industrial applications : a tutorial” di R. Zurawski, MengChu Zhou IEEE Transaction on Industrial Electronics, Dec. 1994

Vol. 41. No. 6