HIERARCHICAL DECOMPOSITION OF PETRI NETS FOR ANALYSIS AND DESIGN OF DIGITAL MICROSYSTEMS
DOI:
https://doi.org/10.47839/ijc.5.1.376Keywords:
Petri nets, hierarchy, decomposition, analysis, logical controllersAbstract
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
How to Cite
Issue
Section
License
International Journal of Computing is an open access journal. Authors who publish with this journal agree to the following terms:• Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
• Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
• Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.