26 search results - page 4 / 6 » Decision Problems for Petri Nets with Names |
APCCM
2007
13 years 8 months ago
2007
A business process may be modeled in different ways by different modelers even when utilizing the same modeling language. An appropriate method for solving ambiguity issues in p...
INFORMATICALT
2010
13 years 4 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
POPL
2009
ACM
14 years 7 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
RP
2010
Springer
13 years 4 months ago
2010
Springer
We adapt hypergraph rewriting system to a generalization of Vector Addition Systems with States (VASS) that we call vector addition systems with pairs (VASP). We give rewriting sys...
BPM
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...