305 search results - page 35 / 61 » Petri Net Analysis Using Decision Diagrams |
103
Voted
EMS
2008
IEEE
14 years 11 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
CJ
2004
14 years 9 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
84
Voted
WOSP
2004
ACM
15 years 3 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
INFORMS
1998
14 years 9 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
101
click to vote
DIAGRAMS
2010
Springer
14 years 11 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...