Sciweavers

1099 search results - page 111 / 220
» Petri net ontology
Sort
View
IJKBO
2011
44views more  IJKBO 2011»
14 years 9 months ago
Modeling Operational Robustness and Resiliency with High-Level Petri Nets
Madjid Tavana, Timothy E. Busch, Eleanor L. Davis
CISIS
2010
IEEE
16 years 1 months ago
CANDEL: Product Line Based Dynamic Context Management for Pervasive Applications
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...
Zakwan Jaroucheh, Xiaodong Liu, Sally Smith
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
15 years 10 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
16 years 10 days 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