2006
DOI: 10.1007/11888116_25
|View full text |Cite
|
Sign up to set email alerts
|

Optimized Colored Nets Unfolding

Abstract: International audienceAs some structural properties, like generative families of positive P-invariants, can only be computed in P/T nets, unfolding of Colored Petri Nets is of interest. However, it may generate huge nets that cannot be stored concretely in memory. In some cases, removing the dead parts of the unfolded net can dramatically reduce its size, but this operation requires the unfolded net to be represented anyway. This paper presents a symbolic representation of unfolded nets using Data Decision Dia… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
12
0

Year Published

2008
2008
2024
2024

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 20 publications
(12 citation statements)
references
References 12 publications
0
12
0
Order By: Relevance
“…There are some usual sufficient conditions preventing the previous circumstances to occur. For instance, the use of finite domains for variables, as well as the use of mapping having finite images for the case of infinite variable domains, allows to avoid having an infinite number of different tokens [12,30]. With respect to the possibility of having an infinite number of repeated tokens in the 652 E. GONZÁLEZ-LÓPEZ DE MURILLAS ET AL.…”
Section: Computation Of the Reachability Graphmentioning
confidence: 99%
“…There are some usual sufficient conditions preventing the previous circumstances to occur. For instance, the use of finite domains for variables, as well as the use of mapping having finite images for the case of infinite variable domains, allows to avoid having an infinite number of different tokens [12,30]. With respect to the possibility of having an infinite number of repeated tokens in the 652 E. GONZÁLEZ-LÓPEZ DE MURILLAS ET AL.…”
Section: Computation Of the Reachability Graphmentioning
confidence: 99%
“…The scaling parameter is the number of machines. The following values were used: 5,10,15,20,30,40,50,100,200, 300, 400, 500.…”
Section: Models From Mcc'2011mentioning
confidence: 99%
“…[16][17][18][19][20][21], and Transmit Packet from Network (ll. [22][23][24][25][26][27][28][29]. Like places, all transitions are referred to by a generated identifier rather that their user-recognisable name.…”
Section: The Old Sml Interfacementioning
confidence: 99%
“…We then load the state-space algorithm developed previously (l. 23), and launch an exploration (ll. [24][25][26][27][28][29][30]. We process the result of the exploration so the result we show the user is the violating state (if any) and the number of nodes explored.…”
Section: Command-line State-space Analysermentioning
confidence: 99%
See 1 more Smart Citation