A technique for designing robotic control systems based on Petri nets

IEEE Transactions on Control Systems Technology

Volumn 6, Issue 1, 1998, Pages 72-87

  Caloini, Andrea ^b   Magnani, GianAntonio ^a,c   Pezzè, Mauro ^a,c  

^a IEEE

^b NEC CORPORATION   (Japan)

^c POLITECNICO DI MILANO   (Italy)

Author keywords

Control systems; Formal methods; Petri nets; Real time systems; Robotic control software; Software design and development; Software engineering

Indexed keywords

LARGE SCALE SYSTEMS; PETRI NETS; REAL TIME SYSTEMS; SENSORS; SOFTWARE ENGINEERING;

ROBOTIC CONTROL SYSTEMS;

ROBOTICS;

EID: 0031694993     PISSN: 10636536     EISSN: None     Source Type: Journal    
DOI: 10.1109/87.654878     Document Type: Article

References (53)

1. G. Berry and G. Gonthier, "The synchronous programming language esterel, design, semantics, implementation," Sci. Computer Programming, 1993.
2. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. Software Eng., vol. 17, Mar. 1991.
3. J. Billington, G. Wheeler, and M. Wilburn-Ham, "Protean: A high-level Petri nets tool for the specification and verification of communication protocols," IEEE Trans. Software Eng., Special issue on tools for computer communication systems, vol. 14, pp. 301-316, 1988.
4. R. Bourgonjon, "Engineering software intensive systems," in 1st Int. Conf. Eng. Complex Computer Syst. (ICECCS95), Ft. Lauderdale, FL, Nov. 1995.
5. G. Bruno and G. Marchetto, "Process-translatable Petri nets for the rapid prototyping of process control systems," IEEE Trans. Software Eng., vol. SE-12, no. 2, Feb. 1986.
6. A. Caloini, G. Magnani, and M. Pezzè, "Petri nets for the design of robotic control software," Politecnico di Milano, Dipartimento di Elettronica, Internal Rep. 96.157.
7. G. Colombina, F. Didot, G. Magnani, and A. Rusconi, "External servicing testbed for automation and robotics," IEEE Robot. Automat. Mag., vol. 3, 1996.
8. J. E. Coolahan and N. Roussopoulos, "Timing requirements for time driven systems using augmented Petri nets," IEEE Trans. Software Eng., Sept. 1983.
9. A. Desrochers, H. Jungnitz, and M. Silva, "An approximation method for the performance analysis of manufacturing systems based on GSPN's," in Proc. Rensselaer's 3rd Int. Conf. Computer Integrated Manufacturing. Troy, NY: IEEE Comput. Soc. Press, May 1992, pp. 46-55.
10. R. Elmstrøm, R. Lintulampi, and M. Pezzè, "Giving semantics to SA/RT by means of high-level timed Petri nets," J. Real-Time Syst., vol. 5, no. 2/3, pp. 249-272, May 1993.
11. G. Ferretti, G. Magnani, P. Putz, and P. Rocco, "The structured design of an industrial robot controller," Contr. Eng. Practice, vol. 4, no. 2, pp. 239-249, 1996.
12. G. Ferretti, G. Magnani, and P. Rocco, "Toward the implementation of hybrid position/force control in industrial robots," IEEE Trans. Robot. Automat., Dec. 1997.
13. R. B. France, "Semantically extended data flow diagrams: A formal specification tool," IEEE Trans. Software Eng., vol. 18, Apr. 1992.
14. P. Freedman, "Time, Petri nets, and robotics," IEEE Trans. Robot. Automat., vol. 7, Aug. 1991.
15. H. J. Genrich, "Predicate/transition nets," in Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science vol. 254, W. Brauer, W. Reisig, G. Rozenber, Eds. New York: Springer-Verlag, 1987, pp. 207-247.
16. C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezzè, "A unified high-level Petri-net formalism for time-critical systems," IEEE Trans. Software Eng., vol. 17, Feb. 1991.
17. C. Ghezzi, D. Mandrioli, and A. Morzenti, "TRIO, A logic language for executable specifications of real-time systems," J. Syst. Software, May 1990.
18. C. Ghezzi, S. Morasca, and M. Pezzè, "Timing analysis of time basic nets," J. Syst. Software, no. 27, no. 7, Nov. 1994.
19. C. Ghezzi and M. Pezzè, "Toward extensible graphical formalisms," in Proc. 7th Int. Wkshp. Software Specification and Design, Redondo Beach, CA, Dec. 1993.
20. J.-M. Goutal and R. Keller, "Petri@crim.ca - A richly populated, up-to-date information server on Petri net tools," in Petri Net Newslett., vol. 47, pp. 59-63, Oct. 1994, publ. by SIG on PN's and related system models, German Comput. Soc.
21. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Comput. Programming, vol. 8, 1987.
22. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Polti, R. Sherman, and A. Shtull-Trauring, "STATEMATE: A working environment for the development of complex reactive systems," in Proc. 10th Int. Conf. Software Eng., vol. 10, Singapore, 1988.
23. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, "STATEMATE: A working environment for the development of complex reactive systems," IEEE Trans. Software Eng., vol. 16, Apr. 1990.
24. D. J. Hatley and I. A. Pirbhai, "Strategies for real-time system specification. New York: Dorset House, 1987.
25. M. A. Holliday and M. K. Vernon, "A generalized timed Petri net model for performance analysis," IEEE Trans. Software Eng., Dec. 1987.
26. IDE, "Software trough Pictures/core," Fundamentals of StP, Feb. 1994.
27. K. Jensen, "Colored Petri nets," Monographs in Theoretical Comput. Sci., 2nd ed. Berlin: Sponger, 1996.
28. R. Koymans and W. P. de Roever, "Examples of a real-time temporal logic specification," in Lecture Notes Comput. Sci. 207. New York: Springer Verlag, 1985.
29. D. R. Lefebvre and G. N. Saridis, "Integrating robotic functions and operator supervision using Petri nets," in Proc. 1992 IEEE/RSJ Int. Conf. Intell. Robots and Syst., July 1992.
30. _, "A computer architecture for intelligent machines," in Proc. 1992 IEEE Int. Conf. Robot. Automat.
31. M. Malhotra and K. Trivedi, "Dependability modeling using Petri nets," IEEE Trans. Reliability, Sept. 1995.
32. P. M. Merlin and D. J. Farber, "Recoverability of communication protocols - Applications of a theoretical study," IEEE Trans. Commun., Sept. 1976.
33. E. L. Miranda, "Specifying control transformations through Petri nets," ACM SIGSOFT Software Eng. Notes, vol 14, no. 2, Apr. 1989.
34. S. Morasca, M. Pezzè, and M. Trubian, "Timed high-level nets," J. Real-Time Syst., vol. 3, pp. 165-189, Mar. 1991.
35. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, Apr. 1989.
36. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
37. M. Pezzé and C. Ghezzi, "Cabernet: An environment for the specification and verification of real-time systems," in Proc. DECUS Europe Symp., Cannes, France, Sept. 1992.
38. P. Putz and A. Elfving, "ESA's control development methodology for space A&R systems," in Robot. Manuf: Recent Trends in Research, Education, and Applicat., M. Jamshidi et al., Eds., vol. 4, pp. 487-492, ASME Press.
39. S. Rajbaum and M. Sidi, "On the performance of synchronized programs in distributed networks with random processing times and transimission delays," IEEE Trans. Parallel Distrib. Syst., vol. 5, Sept. 1994.
40. C. V. Ramamoorthy and G. S. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Software Eng., vol. 6, Sept. 1980.
41. C. Ramchandani, "Analysis of asynchronous concurrent systems using Petri nets," Ph.D. dissertation, Massachusetts Inst. Technol., Cambridge, Feb. 1974.
42. C. Ratel, N. Halbwachs, and P. Raymond, "Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE," in ACM SIGSOFT'91 Conf. Software for Critical Syst., Dec. 1991.
43. G. Richter and B. Maffeo, "Toward a rigorous interpretation of ESML - Extended systems modeling language," IEEE Trans. Software Eng., vol. 19, no. 2, Feb. 1993.
44. S. A. Schneider, V. W. Chen, and G. Pardo-Castellote, "The controlshell component-based real-time programming system," IEEE Int. Conf. Robot. Automat., 1995, pp. 2381-2388.
45. D. Simon, B. Espiau, E. Castillo, and K. Kapellos, "Computer-aided design of a generic robot controller handling reactivity and real-time control issues," IEEE Trans. Contr. Syst. Technol., vol. 1, 1993.
46. D. Simon, P. Freedman, and E. Castillo, "Analysing the temporal behavior of real-time closed-loop robotic tasks," in IEEE Int. Conf. Robot. Automat., 1994, pp. 841-847.
47. P. H. Starke, "On the mutual simulability of different types of Petri nets," Advances in Petri Nets, K. Voss, H. J. Genrich, and G. Rozenbergs, Eds., Concurrency and Nets LNCS, 1987.
48. P. Stotts and T. Pratt, "Hierarchical modeling of software systems with timed Petri nets," in Proc. 1st Int. Wkshp. Timed Petri Nets, July 1985.
49. I. Suzuki, "Formal analysis of the alternated bit protocol by temporal Petri nets," IEEE Trans. Software Eng., vol. 16, Nov. 1990.
50. P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing," IEEE Trans. Software Eng., vol. SE-12, Feb. 1986.
51. P. T. Ward and S. J. Mellor, "Structured development for real-time systems," Yourdon Press Computing Series, 1985.
52. M. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for modeling of manufacturing systems with shared resources," IEEE Trans. Robot. Automat., vol. 7, Aug. 1991.
53. W. Zuberek, "Timed Petri nets and performance evaluation," in Proc. 7th Annu. Symp. Computer Architecture, May 1980.