{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T09:55:10Z","timestamp":1777715710323,"version":"3.51.4"},"reference-count":30,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The International Journal of Robotics Research"],"published-print":{"date-parts":[[2000,1]]},"abstract":"<jats:p>The main objective of this paper is to show the advantages of using the time Petri net formalism for specification, validation, and code generation in robot-control applications. To achieve this objective, we consider as application the development of a control system for a mobile robot with a rotating rangefinder laser sensor with two degrees of freedom to be used in navigation tasks with obstacle avoidance. It is shown how the use of the time Petri net formalism in the whole development cycle can fulfilll the reliability requirement of real-time systems, make the system development easy and quick, strongly reduce the time for the testing and tuning phases and, therefore, reduce the development cost significantly. It allows verification of functional and temporal requirements, error detection in the early stages of the development cycle, and automatic code generation, avoiding coding mistakes. Experimental tests show that the theoretical results obtained from the analysis of formal system models match the real-time behavior of the robotic system.<\/jats:p>","DOI":"10.1177\/02783640022066743","type":"journal-article","created":{"date-parts":[[2003,7,19]],"date-time":"2003-07-19T02:59:46Z","timestamp":1058583586000},"page":"59-76","source":"Crossref","is-referenced-by-count":35,"title":["Using the Time Petri Net Formalism for Specification, Validation, and Code                 Generation in Robot-Control Applications"],"prefix":"10.1177","volume":"19","author":[{"given":"Luis","family":"Montano","sequence":"first","affiliation":[{"name":"CPS, Universidad de Zaragoza, Department of Inform\u00e1tica e                         Ingenier\u00eda de Sistemas, C\/Mar\u00eda de Luna 3, 50015                         Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco Jos\u00e9","family":"Garc\u00eda","sequence":"additional","affiliation":[{"name":"Universidad de La Rioja, Department of Matem\u00e1ticas y                         Computaci\u00f3n, C\/Luis de Ulloa s.n., 26004 Logro\u00f1o, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Luis","family":"Villarroel","sequence":"additional","affiliation":[{"name":"CPS, Universidad de Zaragoza, Department of Inform\u00e1tica e                         Ingenier\u00eda de Sistemas, C\/Mar\u00eda de Luna 3, 50015                         Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2000,1,1]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"atypb2","doi-asserted-by":"crossref","unstructured":"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\u2013118.","DOI":"10.1007\/3-540-58152-9_7"},{"key":"atypb3","doi-asserted-by":"crossref","unstructured":"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\u2013112.","DOI":"10.1007\/3-540-55676-1_6"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1109\/87.654878"},{"key":"atypb5","doi-asserted-by":"crossref","unstructured":"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\u201384.","DOI":"10.1007\/3-540-50580-6_24"},{"key":"atypb6","unstructured":"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\u2013241 ."},{"key":"atypb7","doi-asserted-by":"crossref","unstructured":"Coste-Mani\u00e8re, 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\u2013841 .","DOI":"10.1109\/IROS.1997.655107"},{"key":"atypb8","doi-asserted-by":"crossref","unstructured":"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 .","DOI":"10.1007\/BFb0013953"},{"key":"atypb9","unstructured":"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\u2013138 ."},{"key":"atypb10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088590"},{"key":"atypb11","unstructured":"Garc\u00eda, 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."},{"key":"atypb12","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, 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\u201998.","DOI":"10.1016\/S1474-6670(17)42126-4"},{"key":"atypb13","doi-asserted-by":"crossref","unstructured":"Garc\u00eda, F. J., and and Villarroel, J. L. 1999. Translating time Petri net structures into Ada 95 statements. In: Reliable Software Technologies: Ada-Europe\u201999, vol. 1622 of Lecture Notes in Computer Science. Berlin: Springer-Verlag , pp. 158\u2013169.","DOI":"10.1007\/3-540-48753-0_14"},{"key":"atypb14","doi-asserted-by":"crossref","unstructured":"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\u2013299.","DOI":"10.1007\/3-540-56863-8_52"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1080\/10798587.1995.10750621"},{"key":"atypb16","doi-asserted-by":"crossref","unstructured":"Jahanian, F., and Mok, A. K. 1986. Safety analysis of timing properties of real-time systems . IEEE Trans. Software Eng. 12(9).","DOI":"10.1109\/TSE.1986.6313045"},{"key":"atypb17","doi-asserted-by":"crossref","unstructured":"Khatib, O. 1986. Real-time obstacle avoidance for manipulators and mobile robots . Intl. J. of Robot. Res. 5: 90\u201398 .","DOI":"10.1177\/027836498600500106"},{"key":"atypb18","doi-asserted-by":"crossref","unstructured":"Merlin, P., and Faber, D. J. 1976. Recoverability of communication protocols . IEEE Trans. Communication 24(9).","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"atypb19","doi-asserted-by":"crossref","unstructured":"Montano, L., and Asensio, J. 1997 (Grenoble, France). Real-time robot navigation in unstructured environments using a 3-D laser rangefinder . Proc. of the IEEE-RSJ Intl. Conf. on Intell. Robots and Sys., vol. 3, pp. 526\u2013532 .","DOI":"10.1109\/IROS.1997.655062"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"atypb21","doi-asserted-by":"crossref","unstructured":"Muro, P. R., Banares, J. A., and Villarroel, J. L. 1998. KRON: Knowledge representation-oriented nets for discrete-event systems applications . IEEE Trans. Systems Man Cybernet. 28(2).","DOI":"10.1109\/3468.661146"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1080\/00207729808929598"},{"key":"atypb23","unstructured":"Popova, L. 1991. On time Petri nets . J. Inform. Processes Cybernet. 27(4): 227\u2013244 ."},{"key":"atypb24","unstructured":"Ramachandani, C. 1974. Analysis of asynchronous concurrent systems by timed Petri nets. PhD thesis, Massachussets Institute of Technology, Cambridge, MA."},{"key":"atypb25","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1016\/S1474-6670(17)62804-0"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1017\/S0263574797000131"},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.1007\/BF03036471"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088593"},{"key":"atypb29","doi-asserted-by":"crossref","unstructured":"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\u2013472.","DOI":"10.1007\/3-540-56863-8_61"},{"key":"atypb30","unstructured":"Villarroel, J. L. 1990. Integraci\u00f3n inform\u00e1tica del control de sistemas flexibles de fabricaci\u00f3n. PhD thesis, Dpto. de Ingenier\u00eda El\u00e9ctrica e Inform\u00e1tica, University of Zaragoza."}],"container-title":["The International Journal of Robotics Research"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783640022066743","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/02783640022066743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:15:59Z","timestamp":1777457759000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/02783640022066743"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["10.1177\/02783640022066743"],"URL":"https:\/\/doi.org\/10.1177\/02783640022066743","relation":{},"ISSN":["0278-3649","1741-3176"],"issn-type":[{"value":"0278-3649","type":"print"},{"value":"1741-3176","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}