Search Sciweavers | Sciweavers

630 search results - page 28 / 126

» Oclets - Scenario-Based Modeling with Petri Nets

click to vote

DEDS
2008

87views more DEDS 2008»

On-Line Monitoring of Large Petri Net Models Under Partial Observation

13 years 7 months ago

Download www.cs.bham.ac.uk

This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...

George Jiroveanu, René K. Boel, Behzad Bord...

claim paper

Read More »

click to vote

IWIA
2006
IEEE

135views Information Technology» more IWIA 2006»

Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

14 years 1 months ago

Download www.wolthusen.com

The commonly used ﬂaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...

Ole Martin Dahl, Stephen D. Wolthusen

claim paper

Read More »

click to vote

INFOCOM
1997
IEEE

113views Communications» more INFOCOM 1997»

Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

13 years 11 months ago

Download www27.cs.kobe-u.ac.jp

The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...

Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno

claim paper

Read More »

click to vote

PNPM
1989

64views Artificial Intelligence» more PNPM 1989»

Stochastic Petri Net Modeling of VAXcluster System Availability

13 years 11 months ago