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...

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:International Journal of Applied Mathematics and Computer Science
المؤلفون الرئيسيون: Teren Viktor, Cortadella Jordi, Villa Tiziano
التنسيق: مقال
اللغة:الإنجليزية
منشور في: Sciendo 2023-03-01
الموضوعات:
transition system
petri net
state machine
decomposition
theory of regions
sat
pseudo-boolean optimization
الوصول للمادة أونلاين:https://doi.org/10.34768/amcs-2023-0011

الانترنت

https://doi.org/10.34768/amcs-2023-0011

مواد مشابهة