1997
DOI: 10.1016/s0304-3975(96)00010-2
|View full text |Cite
|
Sign up to set email alerts
|

A symbolic reachability graph for coloured petri nets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
35
0

Year Published

2003
2003
2015
2015

Publication Types

Select...
4
3
1

Relationship

1
7

Authors

Journals

citations
Cited by 76 publications
(35 citation statements)
references
References 3 publications
0
35
0
Order By: Relevance
“…The formalisms employed for the two layers (meta-and base-level) of the reflective layout are Well-formed Nets (WN) (Chiola, Dutheillet, Franceschinis and Haddad, 1997), a flavor of Colored Petri nets (CPN) (Jensen and Rozenberg, 1991), and their unfolding, an extension of ordinary Place/Transition nets (Reisig, 1985) respectively. This choice has revealed convenient for two main reasons: i) the behavior of reflective Petri nets can be formally stated in terms of classical Petri nets; ii) the symbolic state representation the WN formalism is provided with leads to an effective state-transition semantics for Reflective Petri nets, in which the intriguing question related to recognition of equivalent evolutions is efficiently handled.ding, an extension of ordinary Place/Transition nets (Reisig, 1985) respectively.…”
Section: Wn Basicsmentioning
confidence: 99%
See 2 more Smart Citations
“…The formalisms employed for the two layers (meta-and base-level) of the reflective layout are Well-formed Nets (WN) (Chiola, Dutheillet, Franceschinis and Haddad, 1997), a flavor of Colored Petri nets (CPN) (Jensen and Rozenberg, 1991), and their unfolding, an extension of ordinary Place/Transition nets (Reisig, 1985) respectively. This choice has revealed convenient for two main reasons: i) the behavior of reflective Petri nets can be formally stated in terms of classical Petri nets; ii) the symbolic state representation the WN formalism is provided with leads to an effective state-transition semantics for Reflective Petri nets, in which the intriguing question related to recognition of equivalent evolutions is efficiently handled.ding, an extension of ordinary Place/Transition nets (Reisig, 1985) respectively.…”
Section: Wn Basicsmentioning
confidence: 99%
“…The definition of a SM (denoted b M) (Chiola et al, 1997) comprises two parts specifying the so called dynamic subclasses and the distribution of colored symbolic tokens (tuples built of dynamic subclasses) over the net places, respectively.…”
Section: The Symbolic Marking (Sm) Notionmentioning
confidence: 99%
See 1 more Smart Citation
“…The semantics of a model is then easily obtained by translating a MDWN into a MDPN. Furthermore, we develop an alternative approach: we transform the MDWN into a WN, then we build the symbolic reachability graph of this net [5] and finally we transform this graph into a reduced MDP w.r.t. the original one.…”
Section: Introductionmentioning
confidence: 99%
“…Well Formed nets (WN) [2] are a class of HLPN that allows automatic generation of a Symbolic Reachability Graph (SRG) [3]. An SRG allows compact representation of the state-space by defining classes of equivalent concrete accessible states.…”
Section: Introductionmentioning
confidence: 99%