Using the time Petri net formalism for specification, validation, and code generation in robot-control applications

International Journal of Robotics Research

Volumn 19, Issue 1, 2000, Pages 59-76

  Montano, Luis ^a   Garcia, Francisco José ^b   Villarroel, José Luis ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF LA RIOJA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE SELECTION AND EVALUATION; CONTROL SYSTEM ANALYSIS; DEGREES OF FREEDOM (MECHANICS); PETRI NETS; SENSORS;

TIME PETRI NETS;

MOBILE ROBOTS;

EID: 0033886409     PISSN: 02783649     EISSN: None     Source Type: Journal    
DOI: 10.1177/02783640022066743     Document Type: Article

References (30)

1. Berthomieu, B., and Diaz, M. 1991. Modeling and verification of time-dependent systems using time Petri nets. IEEE Trans. Software Eng. 17(3):259-273.
2. Briz, J. L., and Colom, J. M. 1994. Implementation of weighted place/transition nets based on linear enabling functions. In Valette, Robert (ed.): Application and Theory of Petri Nets, vol. 815 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, pp. 99-118.
3. Bruno, G., Castella, A., Macario, G., and Pescarmona, M. P. 1992. Scheduling hard real-time systems using high-level Petri nets. In Jensen, K. (ed.): Application and Theory of Petri Nets. Berlin: Springer-Verlag, pp. 93-112.
4. Caloini, A., Magnani, G., and Pezze, M. 1998. A technique for designing robotic control systems based on Petri nets. IEEE Trans. Control Sys. Technol. 6(1):72-87.
5. Carlier, J., and Chretienne, P. 1988. Timed Petri-net schedules. In Rozenberg, G. (ed.): Advances in Petri Nets, vol. 340 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, pp. 62-84.
6. Colom, J. M., Silva, M., and Villarroel, J. L. 1986 (Oxford, July). On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. Proc. of the 7th European Workshop on Application and Theory of Petri Nets, pp. 207-241.
7. Coste-Manière, E., and Turro, N. 1997 (Grenoble, France). The MAESTRO language and its environment: Specification, validation and control of robotic missions. Proc. of the IEEE/RSJ Intl. Conf. on Intell. Robots and Sys. (IROS), pp. 836-841.
8. Crowley, J. L. 1995. Mathematical foundations of navigation and perception for an autonomous mobile robot. Tutorial at the Intl. Workshop on Reasoning with Uncertainty in Robotics, Amsterdam, The Netherlands.
9. Di Giovanni, R. 1990 (June, Paris). Petri nets and software engineering: HOOD nets. Proc. of the 11th Intl. Conf. on Application and Theory of Petri Nets, pp. 123-138.
10. Felder, M., Ghezzi, C., and Pezze, M. 1993. High-level timed Petri nets as a kernel for executable specifications. Real-Time Sys. 5(2):235-248.
11. García, F. J., and Villarroel, J. L. 1996 (Nov., Gramado, Brazil). Modeling and Ada implementation of real-time systems using time Petri nets. Proc. of the 21st IFAC/IFIP Workshop on Real-Time Programming.
12. García, F. J., and and Villarroel, J. L. 1998 (April, Cancun). Decentralized implementation of real-time systems using time Petri nets: Application to mobile robot control. Proc. of the 5th IFAC Workshop on Algorithms and Architectures for Real-Time Control, AARTC'98.
13. García, F. J., and and Villarroel, J. L. 1999. Translating time Petri net structures into Ada 95 statements. In: Reliable Software Technologies: Ada-Europe'99, vol. 1622 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, pp. 158-169.
14. Hanisch, H. M. 1993. Analysis of place/transition nets with timed arcs and its application to batch process control. In Ajmone Marsan, M. (ed.): Application and Theory of Petri Nets 1993, vol. 691 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, pp. 282-299.
15. Hu, H., Brady, J. M., Du, F., and Probert, P. J. 1995. Distributed real-time control of a mobile robot. Intell. Automation Soft Computing 1:63-68.
16. Jahanian, F., and Mok, A. K. 1986. Safety analysis of timing properties of real-time systems. IEEE Trans. Software Eng. 12(9).
17. Khatib, O. 1986. Real-time obstacle avoidance for manipulators and mobile robots. Intl. J. of Robot. Res. 5:90-98.
18. Merlin, P., and Faber, D. J. 1976. Recoverability of communication protocols. IEEE Trans. Communication 24(9).
19. Montano, L., and Asensio, J. 1997 (Grenoble, France). Real-time robot navigation in unstructured environments using a 3-D laser rangefinder. Frac, of the IEEE-RSJ Intl. Conf. on Intell. Robots and Sys., vol. 3, pp. 526-532.
20. Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE77(4):541-580.
21. Muro, P. R., Banares, J. A., and Villarroel, J. L. 1998. KRON: Knowledge representation-oriented nets for discrete-event systems applications. IEEE Trans. Systems M'an Cybernet. 28(2).
22. Oliveira, P., Pascoal, A., Suva, V., and Silvestre, C. 1998. Mission control of the MARIUS autonomous underwater vehicle: System design, implementation, and sea trials. Intl. J. Sys. Science 29(4): 1065-1080.
23. Popova, L. 1991. On time Petri nets. J. Inform. Processes Cybernet. 27(4):227-244.
24. Ramachandani, C. 1974. Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachussets Institute of Technology, Cambridge, MA.
25. Silva, M., and Velilla, S. 1982 (Oct., Madrid). Programmable logic controllers and Petri nets: A comparative study. Proc. of the Third IFAC/IFIP Symp. on Software for Computer Control.
26. Simon, D., Espiau, B., Kapellos, K., and Pissard-Gibollet, R. 1997. ORCCAD: Software engineering for real-time robotics: A technical insight. Robotica 15:111-115.
27. Sloan, R.H.,and Buy, U. 1996. Reduction rules for time Petri net. Acta Informatica 33(7):687-706.
28. Tindell, K. W., Burns, A., and Wellings, A. J. 1994. An extendible approach for analyzing fixed priority hard real-time tasks. J. Real-Time Sys. 6(2):133-151.
29. van der Aalst, W. M. P. 1993. Interval timed coloured Petri nets and their analysis. In Marsan, M. Ajmone (ed.): Application and Theory of Petri Nets, vol. 691 of Lecture Notes in Computer Science. Berlin: Springer-Verlag, pp. 453-472.
30. Villarroel, J. L. 1990. Integration informâtica del control de sistemas flexibles de fabricaciön. PhD thesis, Dpto. de Ingeniería Eléctrica e Informática, University of Zaragoza.