Sciweavers

30 search results - page 2 / 6
» Process Mining and Petri Net Synthesis
Sort
View
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
13 years 11 months ago
Finding Structure in Unstructured Processes: The Case for Process Mining
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...
Wil M. P. van der Aalst, Christian W. Günther
APN
2007
Springer
13 years 11 months ago
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
Kyller Costa Gorgônio, Jordi Cortadella, Fei...
AC
2003
Springer
13 years 10 months ago
Synthesis of Asynchronous Hardware from Petri Nets
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
Josep Carmona, Jordi Cortadella, Victor Khomenko, ...
ASYNC
2001
IEEE
164views Hardware» more  ASYNC 2001»
13 years 9 months ago
Synthesis and Implementation of a Signal-Type Asynchronous Data Communication Mechanism
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
Alexandre Yakovlev, Fei Xia, Delong Shang
ACSD
2009
IEEE
105views Hardware» more  ACSD 2009»
14 years 6 days ago
Genet: A Tool for the Synthesis and Mining of Petri Nets
Josep Carmona, Jordi Cortadella, Michael Kishinevs...