Title :
Hierarchical Decomposition of Petri Nets for Digital Microsystems Design
Author :
Karatkevich, Andrei ; Andrzejewski, Grzegorz
Author_Institution :
Univ. of Zielona Gora, Gora
fDate :
Feb. 28 2006-March 4 2006
Abstract :
In this paper an approach to hierarchical decomposition of Petri nets and of specification of a digital system behavior by means of hierarchical Petri nets is proposed.
Keywords :
Petri nets; micromechanical devices; Petri net; digital microsystems design; hierarchical decomposition; Digital systems; Fires; Logic devices; Petri nets; Specification languages; Virtual manufacturing; Pertri nets; bla; decomposition; hierarchy; logical controllers;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications, and Computer Science, 2006. TCSET 2006. International Conference
Conference_Location :
Lviv-Slavsko
Print_ISBN :
966-553-507-2
DOI :
10.1109/TCSET.2006.4404613
