HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS

Authors

  • Andrei Karatkevich
  • Grzegorz Andrzejewski

DOI:

https://doi.org/10.47839/ijc.5.1.376

Keywords:

Petri nets, hierarchy, decomposition, analysis, logical controllers

Abstract

The paper is dedicated to hierarchical Petri nets with application to design of control devices. It consists of two parts. The first part introduces a concept of simplifying analysis of flat Petri nets (we discuss analysis of reachability and liveness) by means of hierarchical decomposition. We present a class of subnets which can be replaced by the macroplaces. Further we describe properties of such decomposition and show, that analysis of the mentioned properties of a net can be reduced to the corresponding analysis of the elements of decomposition. A method allowing to obtain the decomposition is presented. The second part presents an approach to specification of a digital control system behavior by means of hierarchical Petri nets. We describe a model, called HPN, which has some of important properties, simplifying description of strongly reactive systems.

References

T, Murata. Petri nets: properties, analysis and applications, Proceedings of IEEE 77 (1989). p. 541-580.

G. Andrzejewski. Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemow cyfrowych. Uniwersytet Zielonogorski, Zielona Gora, 2003.

А. Д. Закревский, Параллельные алгоритмы логического управления, Институт технической кибернетики АНБ, 1999.

G, Bruno et al. Scheduling hard real time systems using high-level Petri nets, LNCS: Application and Theory of Petri nets 616 (1992). p. 93-112. Springer-Verlag, Berlin, 1992.

A. Wegrzyn, M. Wegrzyn. Symbolic verification of concurrent logic controllers by means Petri nets. Proceedings of International Conference “Computer-Aided Design of Discrete Devices (CAD DD’99)”, Minsk, Belarus, 1999, Vol. 1, p. 45-50.

A. Zakrevskij, A. Karatkevich, M. Adamski. A method of analysis of operational Petri nets. Proceedings of International Conference “Advanced Computer Systems (ACS’2001)”, Poland, 2001, Kluwer Academic Publishers, Boston, 2002, p. 449-460.

K. Jensen. Coloured Petri nets. Basic concept, analysis methods and practical use. Springer-Verlag, Berlin, 1997.

G. Andrzejewski, A. Karatkevich. Interpreted hierarchical Petri nets in digital controller design, Radioelektronika i Informatika (1) (2005). p. 74-79.

C. A. Petri, Kommunikation mit Automaten, Institut fur Instrumentelle Matematik, Bonn, 1962.

M. Adamski, M. Wegrzyn, P. Wolanski. A VHDL based approach to logic controller design. Proceedings of International Conference “Programmable Device and Systems (PDS’98)”, Gliwice, Poland, 1998, p. 9-16.

R.Esser: An object oriented Petri net approach to embedded systems design, PhD thesis, Swiss Federal Institute of Technology, Zurich, 1996

J.E.Hong, D.H.Bae: HOONets: Hierarchical Object-Oriented Petri Nets for System Modeling and Analysis, KAIST Technical Report CS/TR-98-132, November, 1998

S.Schof, M.Sonnenschein, R.Wieting,: High-level Modeling with THORNs, Proceedings of the 14th International Congress on Cybernetics, Namur, Belgium, 1995

J.M.Fernandes, M.Adamski, A.J.Proenca: VHDL Generation from Hierarchical Petri Net Specifications of Parallel Controllers. IEE Proc.: Computers and Digital Techniques, no. 144, vol. 2, Mar., 1997, pp. 127-137

T.Holvoet, P.Verbaeten: Petri Charts: an Alternative Technique For Hierarchical Net Construction. In IEEE Conference on Systems, Man and Cybernetics, 1995

R. David, H. Alla: Petri Nets & Grafcet. Tools for modeling discrete event systems. Prentice Hall, New York, 1992

D. Harrel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231-274, 1987

Downloads

Published

2014-08-01

How to Cite

Karatkevich, A., & Andrzejewski, G. (2014). HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS. International Journal of Computing, 5(1), 18-25. https://doi.org/10.47839/ijc.5.1.376

Issue

Section

Articles