454 search results - page 30 / 91 » Modeling and analysis of multi-agent systems using petri net... |
JACIII
2007
15 years 1 months ago
2007
115
click to vote
INFOCOM
1997
IEEE
15 years 6 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
123
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...
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
119
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...