The Unfolding: Origins, Techniques, and Applications within Discrete Event Systems

Younes Rouabah and Zhiwu Li ()
Additional contact information
Younes Rouabah: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China
Zhiwu Li: Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau SAR, China

Mathematics, 2022, vol. 11, issue 1, 1-28

Abstract: This article aims to provide a perspective on the foundations and developments of the net unfolding techniques and their applications to discrete event systems. The numerous methods applied to concurrency presented in the literature can be roughly divided into two classes: those that assume concurrency can be represented by means of a non-deterministic form, and those that represent concurrency by means of causal relations. This study serves as an ideal starting point for researchers interested in true concurrency semantics by offering a concise literature review of one of the major streams of research towards concurrency and interleaving problems. In order to cope with the state-explosion problem, the unfolding approach is used. Based on the findings of concurrency theory, interleaving semantics are replaced with a unique partially ordered occurrence net. In this paper, we aim to provide a comprehensive review on the history of net unfoldings, the methods that are based on these unfoldings, and how they are used in discrete event systems for automatic verification and compact representations purposes.

Keywords: discrete event system; state-explosion problem; theory of concurrency; state space reduction technique; partial-order method; true concurrency semantics; net unfolding (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/1/47/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/1/47/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2022:i:1:p:47-:d:1012245

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().