2016
DOI: 10.1007/978-3-319-48472-3_4
|View full text |Cite
|
Sign up to set email alerts
|

Transition Adjacency Relation Computation Based on Unfolding: Potentials and Challenges

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2022
2022
2022
2022

Publication Types

Select...
1

Relationship

1
0

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 13 publications
0
1
0
Order By: Relevance
“…This paper is an extended version of our previous work [15], but with significant amount of new contributions to the problem of transition adjacency relation (TAR) computation. A new type of cut-off criteria for constructing finite prefixes of Petri net unfolding has been provided in this paper to remove the necessity of costly coverability checking operation, which has been identified in our previous work [15] a major challenge to TAR computation. More indepth proofs and experiments have been provided in this manuscript to make the proposed TAR/pTAR computation techniques more solid.…”
Section: Introductionmentioning
confidence: 99%
“…This paper is an extended version of our previous work [15], but with significant amount of new contributions to the problem of transition adjacency relation (TAR) computation. A new type of cut-off criteria for constructing finite prefixes of Petri net unfolding has been provided in this paper to remove the necessity of costly coverability checking operation, which has been identified in our previous work [15] a major challenge to TAR computation. More indepth proofs and experiments have been provided in this manuscript to make the proposed TAR/pTAR computation techniques more solid.…”
Section: Introductionmentioning
confidence: 99%