253 search results - page 10 / 51 » Formal analysis of timed continuous Petri nets |
109
click to vote
CNSR
2006
IEEE
15 years 8 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
123
click to vote
FAC
2010
15 years 11 days ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
134
Voted
APN
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
129
click to vote
DAC
1996
ACM
15 years 6 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
121
click to vote
IANDC
2008
15 years 1 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...