|
Vol: 51(65) No: 4 / December 2006 Modeling the Basic Components of Automatic Transport Systems with Accumulation Areas Using Sequential Automata Converted in Petri Nets Dan Ungureanu-Anghel Department of Automation and Applied Informatics, “Politehnica” University of Timisoara, Faculty of Automation and Computers, Bd. Vasile Parvan No. 2, 300223 Timisoara, Romania, phone: +40-(0)-256-403.211, e-mail: dan.ungureanu@aut.upt.ro Keywords: automatic transport systems with accumulation areas, nodes, sequential automata, states, Petri net, positions, transitions, arks. Abstract The analysis of the discrete events systems and particularly of automatic transport systems with accumulation areas can be made using sequential automata model. The aim of this paper is to establish some connections between a sequential automata model and a Petri net model: first for a nod with one input and one output and the second for a nod with two inputs and two outputs, based on basic elements of the automatic transport systems with accumulation areas. In this article, untimed sequential automata and untimed Petri nets have been used for modelling, time being not a defining element for this modelling. References [1] C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, 2001. [2] A. Hellgren, M. Fabian and B. Lennartson, “Synchronised execution of discrete event models using sequential function charts”, Proceedings of the 1999 IEEE Conference on Decision and Control, Phoenix, Arizona, USA, December 1999. [3] A. Hellgren, M. Fabian and B. Lennartson, “On the execution of discrete event systems as sequential function charts”, .Proceedings of the 2001 IEEE Conference on Control Applications, Mexico City, Mexico, September 2001. [4] P. J. G. Ramadge and W. M. Wonham, “The control of discrete event systems”, Proceedings of the IEEE, Vol. 77(1), pp. 81 – 98, 1989. [5] D. Ungureanu-Anghel and O. Prostean, “Modeling the basic components of suspended transport systems with the help of untimed Petri nets”, Proceedings of the 7th International Conference on Technical Informatics – CONTI`06, Vol. 1 Automation and Applied Informatics, Timisoara, 2006, pp.71 – 76, 2006. [6] D. Ungureanu-Anghel and O. Prostean, “Modeling the basic components of suspended transport systems using sequential automata”, Proceedings of the 7th International Conference on Technical Informatics – CONTI`06, Vol. 1 Automation and Applied Informatics, Timisoara, pp.77 – 80, 2006. [7] O. Pastravanu, Sisteme cu evenimente discrete. Tehnici calitative bazate pe formalismul retelelor Petri, Editura MatrixRom, Bucharest, 1997. [8] J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev, “Synthesizing Petri nets from state-based models”, Proc. International Conf. Computer-Aided Design (ICCAD), 1995. |