325 search results - page 10 / 65 » Controlling Petri Net Process Models |
APN
1994
Springer
14 years 20 days ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
FAC
2010
13 years 7 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
FASE
2008
Springer
13 years 10 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
APN
2000
Springer
14 years 27 days ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
WSC
2007
13 years 11 months ago
2007
In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships be...