Sciweavers

1019 search results - page 137 / 204
» Petri Net Transformations in the
Sort
View
FLAIRS
2001
13 years 9 months ago
Transformation of WordNet Glosses into Logic Forms
This paper presents a methodand implementation resuits for the transformation of WordNetglosses into logic forms. Theglosses, currently expressed in English are a rich source of w...
Dan I. Moldovan, Vasile Rus
ADC
2005
Springer
104views Database» more  ADC 2005»
14 years 1 months ago
Dynamic Restructuring of Recovery Nets
A Self-Adaptive Recovery Net (SARN) is an extended Petri net model for specifying exceptional behavior in workflow systems. SARN caters for high-level recovery policies that are ...
Rachid Hamadi, Boualem Benatallah
MASCOTS
2003
13 years 9 months ago
PEPA Nets
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Stephen Gilmore, Jane Hillston, Leïla Kloul
BPM
2003
Springer
92views Business» more  BPM 2003»
13 years 11 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork