Generation of Synchronizing State Machines from a Transition System: A Region–Based Approach

Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion of equivalence) to the original TS. This pape...

Full description

Bibliographic Details
Published in:	International Journal of Applied Mathematics and Computer Science
Main Authors:	Teren Viktor, Cortadella Jordi, Villa Tiziano
Format:	Article
Language:	English
Published:	Sciendo 2023-03-01
Subjects:	transition system petri net state machine decomposition theory of regions sat pseudo-boolean optimization
Online Access:	https://doi.org/10.34768/amcs-2023-0011

Similar Items

A Novel Minimization Method for Sensor Deployment Via Heuristic 2-Sat Solution
by: Waleed Ahmed, et al.
Published: (2018-12-01)

A Method of Mining Hidden Transition of Business Process Based on Region
by: Xianwen Fang, et al.
Published: (2018-01-01)

Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems
by: Yisheng An, et al.
Published: (2018-01-01)

On the Approximation of the Resource Equivalences in Petri Nets with the Invisible Transitions
by: Vladimir A. Bashkin
Published: (2020-06-01)

Recommendations for Using QPN Formalism for Preparation of Incoming Request Stream Generator in Modeled System
by: Tomasz Rak, et al.
Published: (2021-12-01)

Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram
by: P. N. Bibilo
Published: (2025-03-01)

Simulation of organizational protection of a protected object based on the theory of automata and Petri nets
by: Viktor V. Erokhin, et al.
Published: (2020-06-01)

Study on the fault Petri nets of the unmanned roadheader based on the transition memory
by: Yang Jianjian, et al.
Published: (2017-02-01)

KESTABILAN MODEL PETRI NET DARI SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR
by: Zumrotus Sya'diyah
Published: (2021-12-01)

Hardware Model Checking Algorithms and Techniques
by: Gianpiero Cabodi, et al.
Published: (2024-06-01)

Boundedness and liveness enforcement for labeled Petri nets using transition priority
by: Ye-Jia Liu, et al.
Published: (2023-12-01)

Structural matrices for Signed Petri net
by: Payal, et al.
Published: (2022-05-01)

From Epidemic to Pandemic Modelling
by: Shannon Connolly, et al.
Published: (2022-07-01)

A Polynomial-Time Algorithm for Detection of Uncovered Transitions in a Petri Net-Based Concurrent System
by: Marcin Wojnakowski, et al.
Published: (2025-01-01)

Short Paper - The Binary Linearization Complexity of Pseudo-Boolean Functions
by: Walter, Matthias
Published: (2024-10-01)

Boosting the Performance of CDCL-Based SAT Solvers by Exploiting Backbones and Backdoors
by: Tasniem Al-Yahya, et al.
Published: (2022-08-01)

Designing Traffic Light Signals to Ease Congestion Caused by Traffic Accidents Using Timed Petri Net
by: Ter-Chan Row, et al.
Published: (2024-12-01)

Oscillator-Inspired Dynamical Systems to Solve Boolean Satisfiability
by: Mohammad Khairul Bashar, et al.
Published: (2023-01-01)

DIAGRAM UNIFIED MODELLING LANGUAGE UNTUK MEMODELKAN LAYANAN AUTOMATED TELLER MACHINE DENGAN PETRI NET
by: Dorteus L. Rahakbauw
Published: (2013-03-01)

Timed Colored Logical Petri Net
by: WANG Jiafeng, XU Xian
Published: (2024-07-01)

Predicting Student Grades Based on Their Usage of LMS Moodle Using Petri Nets
by: Zoltán Balogh, et al.
Published: (2019-10-01)

Modeling of parallel program synchronization primitives
by: Oleg S. Kryukov, et al.
Published: (2025-06-01)

Improving Relationship between UML and Petri Nets for Analyzing System by Applying Object Oriented Petri Nets
by: Meysam Aminzadeh, et al.
Published: (2013-02-01)

Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations
by: Julio C Carrasquel, et al.
Published: (2021-06-01)

Reliability, Availability, and Maintainability Assessment of a Mechatronic System Based on Timed Colored Petri Nets
by: Imane Mehdi, et al.
Published: (2024-06-01)

Decomposition of a Petri Net-Based Cyber-Physical System toward Implementation as an Integrated System within FPGA
by: Remigiusz Wiśniewski, et al.
Published: (2023-06-01)

Using Boinc Desktop Grid To Solve Large Scale Sat Problems
by: Mikhail Posypkin, et al.
Published: (2012-01-01)

On Deadlock Analysis and Characterization of Labeled Petri Nets with Undistinguishable and Unobservable Transitions
by: Amal Zaghdoud, et al.
Published: (2024-11-01)

A Novel Method for General Hierarchical System Modeling via Colored Petri Nets Based on Transition Extractions from Real Datasets
by: Stavros Souravlas, et al.
Published: (2022-12-01)

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions
by: Dan You, et al.
Published: (2017-01-01)

Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority
by: Yejia Liu, et al.
Published: (2023-01-01)

CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
by: L. W. Dworza´nski, et al.
Published: (2015-03-01)

Cholesterol Metabolism Pathways Disturbances in Atherosclerosis—Analyses Using Stochastic Petri Net-Based Model
by: Agnieszka Rybarczyk, et al.
Published: (2023-05-01)

Modeling Analysis of SM2 Construction Attacks in the Open Secure Sockets Layer Based on Petri Net
by: Xi Deng, et al.
Published: (2022-02-01)

A new method for converting extended version of petri nets to fuzzy extended markup language
by: Solmaz Soltani, et al.
Published: (2014-01-01)

A Methodology for Translating Piping and Instrumentation Diagrams (P&ID) Into Labeled Petri Nets for Automatic PLC Code Generation
by: Daniel Guevara-Lozano, et al.
Published: (2024-01-01)

Maximal Good Step Graph Methods for Reducing the Generation of the State Space
by: Hao Dou, et al.
Published: (2019-01-01)

Trilingual aligned corpus – current state and new applications
by: Ludmila Dimitrova, et al.
Published: (2014-09-01)

Design and Optimization of a Petri Net-Based Concurrent Control System toward a Reduction in the Resources in a Field-Programmable Gate Array
by: Remigiusz Wiśniewski, et al.
Published: (2024-06-01)

CALCULATION OF THE MINIMUM DEGREE OF A POLYNOMIAL OVER A FINITE FIELD FOR A VECTOR BOOLEAN MAP GIVEN IN ANF
by: Sergey A. Belov
Published: (2019-04-01)