scispace - formally typeset
Proceedings ArticleDOI

Petri nets as a common tool for design verification and hardware simulation

Pierre Azéma, +2 more
- pp 109-116
TLDR
An APL simulation is developped in the case of parallel systems which communicate with the environment using interpreted PETRI nets, which helps the design verification.
Abstract: 
An APL simulation is developped in the case of parallel systems which communicate with the environment. This method using interpreted PETRI nets, helps the design verification.

read more

Citations
More filters
Journal ArticleDOI

Safety Analysis Using Petri Nets

Nancy G. Leveson, +1 more
- 01 Mar 1987 - 
TL;DR: In this paper, the application of Time Petri net modeling and analysis techniques to safetycritical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.
Journal ArticleDOI

Automatic synthesis of asynchronous circuits from high-level specifications

Teresa H. Meng, +2 more
- 01 Nov 1989 - 
TL;DR: The authors construct a processor design approach that does not require the distribution of a clocking signal and develops a deterministic algorithm to synthesize asynchronous interconnection circuits from high-level specifications.

Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Models

Michel Diaz
Journal ArticleDOI

Special Feature: Putting Petri Nets to Work

Agerwala
- 01 Dec 1979 - 
TL;DR: Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's, and petri nets may offer a solution.
Journal ArticleDOI

Modeling and analysis of communication and cooperation protocols using petri net based models

Michel Diaz
- 01 Dec 1982 - 
TL;DR: The most important classes of nets are presented, their analysis possibilities are given and it is shown how they can be used to model and analyze communication and cooperation protocols.
References
More filters
Journal ArticleDOI

Parallel program schemata

Richard M. Karp, +1 more
- 01 May 1969 - 
TL;DR: This paper introduces a model called the parallel program schema for the representation and study of programs containing parallel sequencing, related to Ianov's program schema, but extends it, both by modelling memory structure in more detail and by admitting parallel computation.
Dissertation

Analysis of asynchronous concurrent systems by timed petri nets

C. Ramchandani
TL;DR: This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor.
Proceedings ArticleDOI

Macromodular computer systems

Wesley A. Clark
TL;DR: The amount of logically irrelevent engineering detail inherent in the design and construction of a computer system is great, but the number of different systems that can be put into use by any one group of workers is small.
Proceedings Article

Use of Petri Nets for Proving Correctness of Concurrent Process Systems.

Kurt Lautenbach, +1 more
Journal ArticleDOI

A Comparison of Register Transfer Languages for Describing Computers and Digital Systems

M. R. Barbacci
- 01 Feb 1975 - 
TL;DR: Different notations have been proposed over the years to describe register transfer (RT) systems and to provide a direct comparison of them is a difficult task because of the different views of the RT level of design held by the proponents of the languages.