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.