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