Código QR (código de barras bidimensional)

XT-Hypergraph-Based Decomposition and Implementation of Concurrent Control Systems Modeled by Petri Nets

This paper presents an integrated approach to the structural decomposition of concurrent control systems using exact transversal hypergraphs (XT-hypergraphs). The proposed method combines formal properties of XT-hypergraphs with invariant-based Petri net analysis to enable automatic partitioning of...

Fuld beskrivelse

Na minha lista:
Principais autores: Łukasz Stefanowicz, Paweł Majdzik, Marcin Witczak
Format: Artigo
Sprog:Inglês
Udgivet: MDPI AG 2025-12-01
Serier:Applied Sciences
Fag:
XT-hypergraph
exact transversal
state machine component
decomposition
Petri net
concurrent control system
Online adgang:https://www.mdpi.com/2076-3417/16/1/340
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Lignende værker