Sciweavers

JNW
2010
67views more  JNW 2010»
13 years 10 months ago
A Petri Net Synthesis Method
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
Chuanliang Xia
ACSD
2009
IEEE
110views Hardware» more  ACSD 2009»
14 years 4 months ago
Variants of the Language Based Synthesis Problem for Petri Nets
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...
Sebastian Mauser, Robert Lorenz