AWPN
2008
14 years 11 days ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
AWPN
2008
14 years 11 days ago
2008
WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe. WoPeD is able to e...
AWPN
2008
14 years 11 days ago
2008
In this paper we propose a method and present a tool as plugin for Renew that supports the process of discovery of differences in possibly conflicting versions of Petri net code. T...
AWPN
2008
14 years 11 days ago
2008
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
AWPN
2008
14 years 11 days ago
2008
In this paper we investigate synthesis of place/transition Petri nets from three different finite representations of infinite partial languages, generalizing previous results.
AWPN
2008
14 years 11 days ago
2008
When adapting services in a SOA environment, not only the validity of the adapter may be of importance, but also non-functional properties like the costs of the adapter. We introdu...
AWPN
2008
14 years 11 days ago
2008
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
AWPN
2008
14 years 11 days ago
2008
AWPN
2008
14 years 11 days ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...