183 search results - page 21 / 37 » The Downward-Closure of Petri Net Languages |
83
Voted
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
Netcharts have been introduced recently by Mukund et al. in [17]. This new appealing approach to the specification of collections of message sequence charts (MSCs) benefits from ...
107
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
127
Voted
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
ISCIS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
104
Voted
DFG
2003
Springer
15 years 5 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...