252 search results - page 2 / 51 » A Petri Net Synthesis Method |
AC
2003
Springer
13 years 10 months ago
2003
Springer
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...
ACSD
2009
IEEE
13 years 10 months ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...
ISOLA
2004
Springer
13 years 10 months ago
2004
Springer
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
BPM
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...