High-Level Petri Nets 1991
DOI: 10.1007/978-3-642-84524-6_13
|View full text |Cite
|
Sign up to set email alerts
|

On Well-Formed Coloured Nets and Their Symbolic Reachability Graph

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
61
0

Year Published

1994
1994
2010
2010

Publication Types

Select...
4
2
2

Relationship

0
8

Authors

Journals

citations
Cited by 96 publications
(61 citation statements)
references
References 4 publications
0
61
0
Order By: Relevance
“…In order to be able to capture a higher number of symmetries for more complex systems, we may think of changing the underlying model of our semantics in favor of more appropriate models for which reduced state space construction methods have been already proposed. For instance, we may think of mapping EMPA gr terms onto stochastic well formed nets (SWNs) [12] or stochastic activity networks (SANs) [23]. As an example, in a random polling system there might be a customer that is faster than the others.…”
Section: Resultsmentioning
confidence: 99%
“…In order to be able to capture a higher number of symmetries for more complex systems, we may think of changing the underlying model of our semantics in favor of more appropriate models for which reduced state space construction methods have been already proposed. For instance, we may think of mapping EMPA gr terms onto stochastic well formed nets (SWNs) [12] or stochastic activity networks (SANs) [23]. As an example, in a random polling system there might be a customer that is faster than the others.…”
Section: Resultsmentioning
confidence: 99%
“…The number of output tokens may differ from the number of input tokens and they may have data values which are of different types. 6 The other three transitions work in a similar way. The two transitions to the right use two different variables, s and r. Each of these must be bound to a value in DBM.…”
Section: Informal Introduction To Cp-netsmentioning
confidence: 93%
“…Here, we will not present in detail these algorithms, since they can be found in (Chiola et al, 1991). We just note that this computation is organized in two steps: Fig.…”
Section: Canonisation Of Arcsmentioning
confidence: 99%
“…Secondly, we propose to optimise the first approach in order to deal efficiently with symmetric systems. Indeed, the reachability graph of a symmetric system can be represented by an optimised version, called symbolic reachability graph (Chiola et al, 1991;, which is quite smaller. Thereby, the use of symbolic graphs allows to alleviate one important drawback of the latter approach which is the well-known problem of the state space explosion.…”
Section: Introductionmentioning
confidence: 99%