941 search results - page 107 / 189 » Haskell-Coloured Petri Nets |
82
Voted
FUIN
2007
15 years 23 days ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
103
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
114
Voted
ENTCS
2006
15 years 25 days ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
101
click to vote
CDC
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
115
Voted
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...