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...
This is a master thesis that studies the practical applications of the Petri nets a graphical and m...
: This thesis describes a framework for implementing and evaluating ideas on how to use Extended Tim...
A method for implementing communication protocols in hardware is presented. A design automation syst...
"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICAT...
"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"Petri ...
Parallel controllers can be best specified using a description with a formal support to validate str...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
The design of digital systems has reached a degree of complexity that virtually prevents their effec...
Industrial discrete event dynamic systems (DEDSs) are commonly modeled by means of Petri nets (PNs)....
Parallel and distributed systems play an important role in the development of information technolo...
The objective of this paper is to determine whether a method can be devised to overcome several prob...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model t...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This is a master thesis that studies the practical applications of the Petri nets a graphical and m...
: This thesis describes a framework for implementing and evaluating ideas on how to use Extended Tim...
A method for implementing communication protocols in hardware is presented. A design automation syst...
"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICAT...
"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"Petri ...
Parallel controllers can be best specified using a description with a formal support to validate str...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The availability of low-cost powerful processors has made distributed computer systems a reality. Cu...
The design of digital systems has reached a degree of complexity that virtually prevents their effec...
Industrial discrete event dynamic systems (DEDSs) are commonly modeled by means of Petri nets (PNs)....
Parallel and distributed systems play an important role in the development of information technolo...
The objective of this paper is to determine whether a method can be devised to overcome several prob...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model t...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This is a master thesis that studies the practical applications of the Petri nets a graphical and m...
: This thesis describes a framework for implementing and evaluating ideas on how to use Extended Tim...
A method for implementing communication protocols in hardware is presented. A design automation syst...