Vol: 51(65) No: 2 / June 2006 Two General Untimed Petri Net Models for the Basic Components of Automatic Transport Systems with Accumulation Areas 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, Petri net, positions, transitions, arks. Abstract The analysis of the discrete events systems and particularly of automatic transport systems with accumulation areas using the Petri nets starts from the remark that the refining of internal operations is extremely useful in the case of modelling such systems. The aim of this paper is to establish two generals Petri net model: first for a nod with “n†input and one output and the second for a nod with one input and “m†outputs, based on basic elements of the automatic transport systems with accumulation areas. In this article, untimed Petri nets have been used for modelling, time being not a defining element for this modelling. References [1] C. G. Cassandras, Stephan Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, 2001. [2] T. Hummel and W. Fengler,â€Design of embedded control systems using hybrid Petri netsâ€, Proc. International Workshop on Discrete-Event System Design DESDes’01, Przytok, Poland, 2001. [3] J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev, “Synthesizing Petri nets from state-based modelsâ€, Proc. International Conf. Computer-Aided Design (ICCAD), 1995. [4] T. Murata, “Petri Nets: Properties, Analysis and Applicationsâ€, Proceedings of the IEEE, Vol. 77, No. 4, April 1989. [5] O. Pastravanu, Sisteme cu evenimente discrete. Tehnici calitative bazate pe formalismul retelelor Petri, Editura MatrixRom, Bucuresti, 1997. [6] D. Ungureanu-Anghel and O. Prostean, “Modeling the Basic Components of Suspended Transport Systems with the Help of Untimed Petri Netsâ€, Proc. 7th International Conference on Technical Informatics – CONTI`06, Timisoara, 2006, Vol. 1, pp.71 – 76. |