An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets

Volume: 13, Issue: 3, Pages: 392 - 392
Published: Feb 28, 2021
Abstract
The unfolding technique of Petri net can characterize the real concurrency and alleviate the state space explosion problem. Thus, it is greatly suitable to analyze/check some potential errors in concurrent systems. During the unfolding process of a Petri net, the calculations of configurations, cuts, and cut-off events are the key factors for the unfolding efficiency. However, most of the unfolding methods do not specify a highly efficient...
Paper Details
Title
An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets
Published Date
Feb 28, 2021
Journal
Volume
13
Issue
3
Pages
392 - 392
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.