For the most recent entries see the Petri Nets Newsletter.

A Methodology for Verification of Complex Architecture by Petri Nets.

Prevost, G.; Currat, M.

In: ESPRIT'86: Results and Achievements, pages 491-502. North-Holland, Amsterdam, The Netherlands, 1987.

Abstract: Efficient results of the work on methodology of design using Petri-nets are presented. The scope of the methodology intends to spread from high level description of a specification of an architecture of a machine to hardware description at a logical level of realization. The main tool is a predicate-transition Petri-net modelling of the system using tokens and variables for labelling transitions.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography