1019 search results - page 199 / 204 » Petri Net Transformations in the |
HASE
1999
IEEE
13 years 12 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
CE
2007
13 years 7 months ago
2007
This paper argues that the internet is built around key technology design features of openness, robustness and decentralisation. These design features have transformed into social...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
STACS
2007
Springer
14 years 1 months ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...