Sciweavers

941 search results - page 113 / 189
» History-Dependent Petri Nets
Sort
View
ACJ
2000
44views more  ACJ 2000»
13 years 10 months ago
A Slicing-based Approach to Enhance Petri Net Reachability Analysis
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. K...
CJ
2000
52views more  CJ 2000»
13 years 10 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
14 years 2 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau
ICSEA
2006
IEEE
14 years 4 months ago
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...
Mohammad Abdollahi Azgomi, Ali Movaghar
FASE
2005
Springer
14 years 3 months ago
Analyzing Web Service Based Business Processes
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...
Axel Martens