Login
Register
Reset Password
Publish & Distribute
Publishing Solutions
Distribution Solutions
Subjects
Architecture and Design
Arts
Business and Economics
Chemistry
Classical and Ancient Near Eastern Studies
Computer Sciences
Cultural Studies
Engineering
General Interest
Geosciences
History
Industrial Chemistry
Jewish Studies
Law
Library and Information Science, Book Studies
Life Sciences
Linguistics and Semiotics
Literary Studies
Materials Sciences
Mathematics
Medicine
Music
Pharmacy
Philosophy
Physics
Social Sciences
Sports and Recreation
Theology and Religion
Publications
Journals
Books
Proceedings
Publishers
Blog
Contact
Search
EUR
USD
GBP
English
English
Deutsch
Polski
Español
Français
Italiano
Cart
Home
Journals
International Journal of Applied Mathematics and Computer Science
Volume 33 (2023): Issue 1 (March 2023)
Open Access
Generation of Synchronizing State Machines from a Transition System: A Region–Based Approach
Viktor Teren
Viktor Teren
,
Jordi Cortadella
Jordi Cortadella
and
Tiziano Villa
Tiziano Villa
| Mar 29, 2023
International Journal of Applied Mathematics and Computer Science
Volume 33 (2023): Issue 1 (March 2023)
Image Analysis, Classification and Protection (Special section, pp. 7-70), Marcin Niemiec, Andrzej Dziech and Jakob Wassermann (Eds.)
About this article
Previous Article
Next Article
Abstract
References
Authors
Articles in this Issue
Preview
PDF
Cite
Share
Published Online:
Mar 29, 2023
Page range:
133 - 149
Received:
Jan 28, 2022
Accepted:
Oct 25, 2022
DOI:
https://doi.org/10.34768/amcs-2023-0011
Keywords
transition system
,
Petri net
,
state machine
,
decomposition
,
theory of regions
,
SAT
,
pseudo-Boolean optimization
© 2023 Viktor Teren et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Viktor Teren
Department of Computer Science, University of Verona
Verona, Italy
Jordi Cortadella
Department of Computer Science, Polytechnic University of Catalonia
Barcelona, Spain
Tiziano Villa
Department of Computer Science, University of Verona
Verona, Italy