"A workshop within the 19th International Conference on Applications and Theory of Petri Nets - ICATPN’1998"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 speci cations can be extended to include the behavioural description of the data path, by using object-oriented concepts. Some hierarchical mechanisms which deal with the speci cation 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 with...
This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with P...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model t...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware des...
"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"Petri ...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
Parallel controllers can be best specified using a description with a formal support to validate str...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
The objective of this paper is to determine whether a method can be devised to overcome several prob...
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...
This paper presents teaching experiments on digital system design including hardware –software co-de...
A method for implementing communication protocols in hardware is presented. A design automation syst...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with P...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model t...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...
The main purpose of this article is to present how Petri Nets (PNs) have been used for hardware des...
"Series Title: IFIP - The International Federation for Information Processing, ISSN 1868-4238"Petri ...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
Parallel controllers can be best specified using a description with a formal support to validate str...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture ...
The objective of this paper is to determine whether a method can be devised to overcome several prob...
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...
This paper presents teaching experiments on digital system design including hardware –software co-de...
A method for implementing communication protocols in hardware is presented. A design automation syst...
This book focuses on prototyping aspects of concurrent control systems and their further implementat...
This paper introduces the PN-PEM framework. It is based on the representation of an algorithm with P...
: The main purpose of this article is to present how to use shobi-PN, an Object-Oriented PN model t...
This paper presents a new Petri net (PN) meta-model, called shobi-PN v2.0, that can be used to speci...