Have a personal or library account? Click to login

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

International Journal of Applied Mathematics and Computer Science
Volume 33 (2023): Issue 1 (March 2023)
By:
Open Access
|Mar 2023

Metrics

DOI: https://doi.org/10.34768/amcs-2023-0011 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 133 - 149
Submitted on: Jan 28, 2022
Accepted on: Oct 25, 2022
Published on: Mar 29, 2023
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 times per year
Keywords:
transition system,
Petri net,
state machine,
decomposition,
theory of regions,
SAT,
pseudo-Boolean optimization
Related subjects:
Mathematics,
Applied mathematics

© 2023 Viktor Teren, Jordi Cortadella, Tiziano Villa, published by University of Zielona Góra
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 33 (2023): Issue 1 (March 2023)Next article