An Evolutionary Approach to the Use of Petri Net Based Models

The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware design at our research laboratory. We describe the use of PN models to specify synchronous parallel controllers and how PN specifications can be extended to include the behavioural description of the data path, by using object-oriented concepts. Some hierarchical mechanisms which deal with the specification of complex digital systems are highlighted. It is described a design flow that includes, among others, the automatic generation of VHDL code to synthesize the control unit of the system. The use of PNs as part of a multiple-view model within an object-oriented methodology for hardware/software codesign is debated. The EDgAR-2 platform is considered as the reconfigurable target architecture for implementing the systems and its main characteristics are shown.

[1]  James Pardey,et al.  Logic synthesis of synchronous parallel controllers , 1991, [1991 Proceedings] IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[2]  Pamela Zave,et al.  The operational versus the conventional approach to software development , 1984, CACM.

[3]  João M. Fernandes,et al.  Concurrent Execution of Petri Nets based on Agents , 1995 .

[4]  Gajski,et al.  Guest Editors' Introduction: New VLSI Tools , 1983, Computer.

[5]  Zhiwei Xu,et al.  Modeling communication overhead: MPI and MPL performance on the IBM SP2 , 1996, IEEE Parallel Distributed Technol. Syst. Appl..

[6]  René David,et al.  Petri nets and grafcet - tools for modelling discrete event systems , 1992 .

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Alberto José Proença,et al.  SOFHIA: a CAD environment to design digital control systems , 1997 .

[9]  Daniel D. Gajski,et al.  High ― Level Synthesis: Introduction to Chip and System Design , 1992 .

[10]  Luciano Lavagno,et al.  A unified signal transition graph model for asynchronous control circuit synthesis , 1992, ICCAD.

[11]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[12]  Alexandre Yakovlev,et al.  Modelling, analysis and synthesis of asynchronous control circuits using Petri nets , 1996, Integr..

[13]  Daniel Gajski,et al.  New VLSI Tools - Guest Editors' Introduction , 1983, Computer.

[14]  Alberto José Proença,et al.  EDgAR: A Platform for Hardware/Software Codesign , 1997 .

[15]  Alberto José Proença,et al.  An object-oriented model for rapid prototyping of data path/control systems - a case study , 1998 .

[16]  Colin J. Theaker,et al.  Object Oriented Computer Systems Engineering , 1996, Object Oriented Computer Systems Engineering.

[17]  R.J. Machado,et al.  Hierarchical mechanisms for high-level modeling and simulation of digital systems , 1998, 1998 IEEE International Conference on Electronics, Circuits and Systems. Surfing the Waves of Science and Technology (Cat. No.98EX196).

[18]  Luciano Lavagno,et al.  A unified signal transition graph model for asynchronous control circuit synthesis , 1996, Formal Methods Syst. Des..

[19]  Daniel D. Gajski,et al.  Essential Issues in Codesign , 1997 .

[20]  Charles Lakos,et al.  The Object Orientation of Object Petri Nets , 1995 .

[21]  Claude Baron,et al.  Embedded System Applications , 2010, Springer US.

[22]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[23]  Zebo Peng.  Digital system simulation with VHDL in a high-level synthesis system , 1992, Microprocess. Microprogramming.

[24]  R.J. Machado,et al.  Specification of industrial digital controllers with object-oriented Petri nets , 1997, ISIE '97 Proceeding of the IEEE International Symposium on Industrial Electronics.

[25]  Alberto José Proença,et al.  VHDL generation from hierarchical Petri net specifications of parallel controllers , 1997 .

[26]  Rainer Fehling,et al.  A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.

[27]  Anne Lohrli.  Chapman and Hall , 1985 .