Hierarchical Petri nets for digital controller design

Design of Embedded Control Systems

Volumn , Issue , 2005, Pages 27-36

  Andrzejewski, Grzegorz ^a  

^a UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

formal specification; Petri net; reactive system

Indexed keywords

EID: 34547333552     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/0-387-28327-7_3     Document Type: Chapter

References (14)

1. C. André, Synccharts: A visual representation of reactive behaviors. Technical Report RR 95-52, I3S, Sophia-Antipolis, France (1995).
2. G. Andrzejewski, Hierarchical Petri Net as a representation of reactive behaviors. In: Proceedings of International Conference Advanced Computer Systems: ACS'2001, Szczecin, Polska, Part 2, pp. 145-154 (2001).
3. G. Andrzejewski, Program Model of Interpeted Petri Net for Digital Microsystems Design. University of Zielona Góra Press, Poland (2003) (in Polish).
4. F. Balarin et. al., Hardware-Software Co-Design of Embedded Systems. The POLIS Approach. Kluwer Academic Publishers (1999).
5. Z. Banaszak, J. Kuś, M. Adamski, Petri Nets, Modeling, Control and Synthesis of Discrete Systems. WSI Press (1993) (in Polish).
6. M. P. J. Bolton, Digital Systems Design with Programmable Logic. Addison-Wesley Publishing Company, Wakingham (1990).
7. D. D. Gajski, F. Vahid, S. Narayan, J. Gong, Specification and Design of Embedded Systems. Prentice-Hall, Englewood Cliffs, NJ (1994).
8. D. Harel, Statecharts: A Visual Formalism for Complex Systems, North-Holland, Amsterdam. Science of Computer Programming, 8 231-274 (1987).
9. T. Holvoet, P. Verbaeten, Petri charts: An alternative technique for hierarchical net construction. In: IEEE Conference on Systems, Man and Cybernetics (1995).
10. J. E. Hong, D. H. Bae, HOONets: Hierarchical object-oriented Petri nets for system odeling and analysis. KAIST Technical Report CS/TR-98-132 (1998).
11. K. Jensen, Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, Springer-Verlag (1997).
12. C. Johnsson, K. E. Arzen, High-level grafcet and batch control. In: Conference Proceedings ADPM'94 Automation of Mixed Processes: Dynamical Hybrid Systems, Bryssel (1994).
13. G. de Micheli, Synthesis and optimization of Digital Circuits, McGraw-Hill, Inc., 1994.
14. S. Schof, M. Sonnenschein, R. Wieting, High-level modeling with THORNs. In: Proceedings of 14th International Congress on Cybernetics, Namur, Belgium (1995).