Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5003189 | IFAC Proceedings Volumes | 2006 | 6 Pages |
Abstract
The high-level synthesis of digital systems, including controllers, DPSs, peripheral components, integrated microsystems, requires intermediate model representation of system specification. A few approaches have been proposed to use Petri nets as an intermediate system representation. The paper discusses essential Petri net properties and concentrates on requirements of the system representation. A new system Petri net text format is presented and it has been developed to support fully wide range of system specifications.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
Authors
Andrzej Stasiak, Marian Adamski,