Hierarchical Decomposition of Petri Nets for Digital Microsystems Design

Andrei Karatkevich, Grzegorz Andrzejewski
2006 2006 International Conference - Modern Problems of Radio Engineering, Telecommunications, and Computer Science  
The paper is dedicated to hierarchical Petri nets with application to design of control devices. It consists of two parts. The first part introduces a concept of simplifying analysis of flat Petri nets (we discuss analysis of reachability and liveness) by means of hierarchical decomposition. We present a class of subnets which can be replaced by the macroplaces. Further we describe properties of such decomposition and show, that analysis of the mentioned properties of a net can be reduced to
more » ... corresponding analysis of the elements of decomposition. A method allowing to obtain the decomposition is presented. The second part presents an approach to specification of a digital control system behavior by means of hierarchical Petri nets. We describe a model, called HPN, which has some of important properties, simplifying description of strongly reactive systems.
doi:10.1109/tcset.2006.4404613 fatcat:qw4n4cbyinchjj6gce6aarps2i