108
Voted
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
90
Voted
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
135
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
121
click to vote
APN
2006
Springer
15 years 7 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...
139
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...