S. Haddad, J. M. Ilie, M. Taghelit, B. Zouari  Home/Search
Context Related
| lamsade.dauphine.fr/~had...95APN.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lamsade.dauphine.fr/~had...publis (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The construction of symbolic reachability graphs is a useful technique for reducing state explosion in High-level Petri nets. Such a reduction is obtained by exploiting the symmetries of the whole net [1]. In this paper, we extend this method to deal with partial symmetries. In a first time, we introduce an example which shows the interest and the principles of our method. Then we develop the general algorithm. Lastly we enumerate the properties of this Extended Symbolic Reachability... (Update)
Context of citations to this paper: More
...to be as large as the ordinary one. We now aim at extending our methods to deal with specifications having nothing but partial symmetries [12]. In such specifications, runs sometimes depend on the process M A f A f b b 0 b 0 Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q Q...
...by exploiting the fact that many computer systems are symmetric in their design and implementation (c.f. JR91] ID96] ES96] CEFJ96] [HITZ95] [MAV96] ES97] GS97] ET98] AHI98] Such symmetry can be seen to be a form of redundancy from the standpoint of model checking...
Cited by: More
Symbolic Reachability Graph and Partial Symmetries - Haddad, Ilie, Taghelit, Zouari (1995) (Correct)
From Asymmetry to Full Symmetry: New Techniques for Symmetry .. - Emerson, Trefler (1999) (Correct)
Virtual Symmetry Reduction - Emerson, Havlicek, Trefler (2000) (Correct)
Active bibliography (related documents): More All
0.3: Annotated Bibliography on Stochastic Petri Nets - Baccelli, Balbo, Boucherie.. (1994) (Correct)
0.2: A Symbolic Reachability Graph for Coloured Petri Nets - Chiola, Dutheillet.. (1997) (Correct)
0.2: Stochastic Well-Formed Colored Nets and Symmetric.. - Chiola.. (1993) (Correct)
Similar documents based on text: More All
0.6: Finite Symbolic Reachability Graphs for High-Level Petri Nets - Hameurlain, Sibertin-Blanc (1997) (Correct)
0.4: Evaluation of Algorithms Using ESTELLE - Haddad, Taghelit, Zouari (1992) (Correct)
0.4: Regular Stochastic Petri Nets - Dutheillet, Haddad (1989) (Correct)
Related documents from co-citation: More All
4: Utilizing symmetry when model-checking under fairness assumptions: an automata-t.. - Emerson, Sistla - 1997
4: Better verification through symmetry - Ip, Dill - 1996
4: Symmetry and Model Checking - Emerson, Jutla - 1993
BibTeX entry: (Update)
S. Haddad, J. M. Ili'e, M.Taghelit, and B. Zouari. Symbolic reachability graph and partial symmetries. 16th International Conference on Application and Theory of Petri nets, pages 238--257, 1995. http://citeseer.ist.psu.edu/haddad95symbolic.html More
@inproceedings{ haddad95symbolic,
author = "Serge Haddad and Jean Michel Ilie and M. Taghelit and B. Zouari",
title = "Symbolic Reachability Graph and Partial Symmetries",
booktitle = "Application and Theory of Petri Nets",
pages = "238-257",
year = "1995",
url = "citeseer.ist.psu.edu/haddad95symbolic.html" }
Citations (may not include all citations):27 On Well-formed coloured Nets and their Symbolic Reachability.. (context) - Chiola, Dutheillet et al. - 1990
25 High-Level Petri nets (context) - Jensen - 1982
17 Reachability Trees for High-Level Petri Nets (context) - Huber, Jensen et al. - 1986
7 Symbolic Reachability graph And Partial Symmetries - Haddad, id et al.
6 A symbolic simulation mechanism for WellFormed Coloured Petr.. (context) - Franceschinis, Gaeta - 1992
5 Aggregation and Disaggregation of States in Colored Stochast.. (context) - Dutheillet, Haddad - 1989
1 Une catdgorie rdgulire de rdseaux de Petri de haut-niveau: d.. (context) - Haddad - 1987
1 A Reduced State Graph for Symmetrical Protocols (context) - Haddad, id - 1992
1 Symtries dans les rseaux colords, dfinition, analyse et appl.. (context) - Dutheillet - 1992
1 Methodes de Spdcification et de vdrification de Protocoles d.. (context) - Zouari - 1993
1 High-Level Petri nets. A combination of Predicate/transition.. (context) - Jensen - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.lamsade.dauphine.fr/~haddad/publis.html): More
A Structural Approach to Design Reliable Distributed.. - Taghelit, Haddad, Sens (1997) (Correct)
Reaching Agreement in Hierarchical Groups - Kooh, Haddad (1999) (Correct)
A Formal Study of Interactions in Multi-agent Systems - Fallah-Seghrouchni.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC