115 search results - page 6 / 23 » Synthesis of Asynchronous Hardware from Petri Nets |
BPM
2006
Springer
13 years 9 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
ACSD
2005
IEEE
13 years 9 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
APN
2008
Springer
13 years 9 months ago
2008
Springer
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
ACSD
2009
IEEE
14 years 2 months ago
2009
IEEE
SOFSEM
2009
Springer
14 years 1 days ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...