129
click to vote
ACSD
15 years 4 months ago
2007 IEEE 
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...
101
click to vote
ACSD
15 years 6 months ago
2007 IEEE 
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...
ACSD
15 years 6 months ago
2007 IEEE 
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
ACSD
15 years 6 months ago
2007 IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
ACSD
15 years 4 months ago
2007 IEEE
Synthesis of asynchronous circuits from Signal Transition Graphs (STGs) involves resolution of state encoding conflicts by means of refining the STG specification. In this paper, ...
|
Hardware