31 search results - page 4 / 7 » Making Workflow Models Sound Using Petri Net Controller Synt... |
IEAAIE
1998
Springer
13 years 11 months ago
1998
Springer
In this paper a novel method of reference places' detection to build topological models is described, as well as an algorithm for route planning based on Fuzzy Petri Nets. The...
AGTIVE
2003
Springer
14 years 6 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
SAC
2008
ACM
13 years 6 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
TCAD
2008
13 years 6 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
DAGSTUHL
2006
13 years 8 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...