Sciweavers

638 search results - page 45 / 128
» Animation modeling with petri nets
Sort
View
INFOCOM
1997
IEEE
13 years 12 months ago
Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model
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...
Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
VL
2009
IEEE
114views Visual Languages» more  VL 2009»
14 years 2 months ago
Modeling multicasting in communication spaces by reconfigurable high-level Petri nets
Claudia Ermel, Tony Modica, Enrico Biermann, Hartm...