Találati lista | Tudóstér

001-es BibID:	BIBFORM090722
035-os BibID:	(Scopus)85107846231
Első szerző:	Bagossy Attila (informatikus)
Cím:	Simulating reversible computation with reaction systems / Attila Bagossy, György Vaszil
Dátum:	2020
ISSN:	2523-8906 2523-8914
Megjegyzések:	Reaction systems are a formal model of computation providing a framework for investigating biochemical reactions inside living cells. We look at the functioning of these systems as a process producing a series of different possible sets of entities representing states which can be changed by the application of reactions, and we study reversibility and its simulation in this framework. Our goal is to establish an Undo-Redo-Do-like semantics of reversibility with environmental control over the direction of the computation following a so-called no-memory approach, that is, without introducing modifications to the model of reaction systems itself. We first establish requirements the systems must satisfy in order to produce processes consisting of states with unique predecessors, then define reversible reaction systems in terms of reversible interactive processes. For such reversible systems, we also construct simulator systems that can traverse between the states of reversible interactive processes back and forth based on the input of a special "rollback" symbol from the environment.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban folyóiratcikk reaction systems reversible computation reversible reaction systems
Megjelenés:	Journal of Membrane Computing. - 2 : 3 (2020), p. 179-193. -
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:

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: