74 search results - page 3 / 15 » Reachability analysis for a class of Petri nets |
ACJ
2000
13 years 7 months ago
2000
INFOCOM
1997
IEEE
13 years 11 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...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
ECEASST
2006
13 years 7 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
ICINCO
2009
13 years 5 months ago
2009
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete even...