Találati lista | Tudóstér

001-es BibID:	BIBFORM136849
035-os BibID:	(WOS)001726669700001
Első szerző:	Battyányi Péter (informatikus, matematikus)
Cím:	On rule synchronization in membrane computing / Battyányi, Péter
Dátum:	2026
ISSN:	2523-8906 2523-8914
Megjegyzések:	In this paper, we consider membrane system-like computational models equipped with a synchronization mechanism for rules. The synchronization mechanism means that, in addition to the usual set of rules, a set of finite tuples of membrane rules is specified. These tuples indicate which rule executions are linked, according to the constraints imposed by the various execution modes. We examine these models considering different rule semantics, or execution modes. We consider four types of execution modes, distinguishing between weak and strong modes, each defined with or without object reuse. The weak execution modes are likely less powerful than general Turing machines, and we demonstrate this for one specific case, while the other case remains a conjecture. Furthermore, we prove that in the strong execution mode, when additional conditions are imposed on synchronized rules compared to the weak execution modes, these models achieve computational completeness even without maximal parallelism. Finally, we demonstrate why these systems, when restricted to non-cooperative rules, cannot achieve computational completeness, even in the strong modes.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban folyóiratcikk membránszámítás szinkronizált szabályok Turing-teljesség
Megjelenés:	Journal of Membrane Computing. - [Epub ahead of print] (2026) p. 1-18. -
Pályázati támogatás:	University of Debrecen Scientific Research Bridging Fund (DETKA) Egyéb
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM090716
035-os BibID:	(Scopus)85107889952
Első szerző:	Battyányi Péter (informatikus, matematikus)
Cím:	Description of membrane systems with time Petri nets : promoters/inhibitors, membrane dissolution, and priorities / Péter Battyányi, György Vaszil
Dátum:	2020
ISSN:	2523-8906 2523-8914
Megjegyzések:	We continue the investigations of the connection between membrane systems and time Petri nets by extending the examined class of systems from simple symbol-object membrane systems to more complex cases: rules with promoters/inhibitors, membrane dissolution, and priority relation on the rules. By constructing the simulating time Petri net, we retain one of the main characteristics of the Petri net model; namely, the firings of the transitions can take place in any order, and there is no need to introduce maximal parallelism in the Petri net semantics. Instead, we substantially exploit the gain in computational strength obtained by the introduction of the timing feature for Petri nets.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban folyóiratcikk membrane systems Petri nets time Petri nets
Megjelenés:	Journal of Membrane Computing. - 2 : 4 (2020), p. 341-354. -
További szerzők:	Vaszil György (1968-) (matematikus)
Pályázati támogatás:	NKFIH K 120558 egyéb EFOP-3.6.3-VEKOP-16-2017-00002 EFOP
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: