Hierarchical decomposition of petri nets for digital microsystems design

Modern Problems of Radio Engineering, Telecommunications and Computer Science Proceedings of International Conference, TCSET 2006

Volumn , Issue , 2006, Pages 518-521

  Karatkevich, Andrei ^a   Andrzejewski, Grzegorz ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

Bla; Blo; Decomposition; Hierarchy; Logical controllers; Pertri nets

Indexed keywords

COMPUTER SCIENCE; COMPUTERS; DIGITAL ARITHMETIC; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; TELECOMMUNICATION SYSTEMS;

BLA; BLO; DECOMPOSITION; DIGITAL SYSTEMS; EXTENDED PETRI NETS; HIERARCHICAL DECOMPOSITIONS; HIERARCHY; INTERNATIONAL CONFERENCES; LOGICAL CONTROLLERS; PERTRI NETS; RADIO-ENGINEERING;

TECHNOLOGY;

EID: 48149108186     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TCSET.2006.4404613     Document Type: Conference Paper

References (15)

1. G. Andrzejewski, "Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych," Uniwersytet Zielonogórski, 2003.
2. G. Andrzejewski, "Hierarchical Petri nets for digital controller design," in Design of embedded control systems, Springer, NY, USA, 2005, pp. 27-36.
3. G. Andrzejewski, A. Karatkevich, "Interpreted hierarchical Petri nets in digital controller design," 1, 2005, pp. 74-79.
4. R.David, H.Alla: Petri Nets & Grafcet. Tools for modelling discrete event systems, Prentice Hall, New York, 1992.
5. R.Esser: An object oriented Petri net approach to embedded systems design, PhD thesis, Swiss Federal Institute of Technology, Zurich, 1996.
6. L. Ferrarini, "An incremental approach to logic controller design with Petri nets," IEEE Transactions on System, Man and Cybernetics, 22 (3), 1992, pp. 461-474.
7. T.Holvoet, P.Verbaeten: Petri Charts: an Alternative Technique For Hierarchical Net Construction, in IEEE Conference on Systems, Man and Cybernetics, 1995.
8. rd Int. Conference CAD DD, Vol. 1, Inst. of Eng. Cybernetics, Academy of Sc. of Belarus, Minsk, Belarus, 1999, pp. 34-39.
9. T. Murata, "Petri Nets: Properties, Analysis and Applications," Proceedings of the IEEE, vol. 77, pp.548-580, Apr. 1989.
10. C. A. Petri, "Kommunikation mit Automaten," Institut für Instrumentelle Matematik, Bonn, 1962.
11. th International Congress on Cybernetics, Namur, Belgium, 1995.
12. rd Int. Conference CAD DD, Vol. 1, Inst. of Eng. Cybernetics, Academy of Sc. of Belarus, Minsk, Belarus, 1999., pp. 45-50.
13. R.Wieting, M.Sonnenschein: Extending High-level Petri Nets for Modeling Hybrid Systems, Proceedings of the IMACS Symposium on Systems Analysis and Simulation, Berlin, Germany, June, 1995, Volume 18-19, pp 259-262.
14. th Int. Conference ACS, Mielno, Poland, Oct. 2001 - Kluwer Academic Publishers, Boston, USA, 2002, pp. 449-460.
15. Ukranian source