Skip to main content
Have a personal or library account? Click to login
Generation of Synchronizing State Machines from a Transition System: A Region–Based Approach Cover

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: ,   and    
Open Access
|Mar 2023
Authors

Authors

Viktor Teren

viktor.teren@univr.it

Department of Computer Science, University of Verona, Verona, Italy

Jordi Cortadella

jordi.cortadella@upc.edu

Department of Computer Science, Polytechnic University of Catalonia, Barcelona, Spain

Tiziano Villa

tiziano.villa@univr.it

Department of Computer Science, University of Verona, Verona, Italy
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 issues 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.

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