350 search results - page 14 / 70 » Petri Net Analysis Using Invariant Generation |
113
Voted
OPODIS
2008
15 years 1 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
94
Voted
TSE
1998
15 years 2 days ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
122
Voted
BPM
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
109
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
110
Voted
GPCE
2003
Springer
15 years 5 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...