20 search results - page 1 / 4 » Compositional Definitions of Minimal Flows in Petri Nets |
CMSB
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
WSC
2007
13 years 6 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
BPM
2000
Springer
13 years 8 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...
IHIS
2005
ACM
13 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
FUIN
2008
13 years 4 months ago
2008
In this paper, we show how to obtain causal semantics distinguishing "earlier than" and "not later than" causality between events from algebraic semantics of Pe...