17 search results - page 1 / 4 » DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Net... |
APN
2009
Springer
15 years 7 months ago
2009
Springer
127
Voted
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
129
Voted
APN
2000
Springer
15 years 4 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
127
Voted
ENASE
2009
14 years 10 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
120
Voted
APN
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...