CCL

Összesen 2 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM090712
035-os BibID:(WoS)000510316200012 (Scopus)85049051816
Első szerző:Aman, Bogdan
Cím:Local time membrane systems and time Petri nets / Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Dátum:2020
ISSN:0304-3975
Megjegyzések:We investigate the relationship between time Petri nets and various variants of membrane systems. We first show that adding the feature of "time" to Petri nets makes possible the simulation of the maximal parallel mode of rule application from membrane systems without introducing maximal parallelism to the Petri net semantics. Then we define local time membrane systems inspired by time Petri nets, together with two types of semantics; both kinds of local time membrane systems can be simulated by time Petri nets with the strong semantics. Finally we present the connections between catalytic Petri nets and catalytic membrane systems.
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
time membrane systems
Megjelenés:Theoretical Computer Science. - 805 (2020), p. 175-192. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus) Ciobanu, Gabriel Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K 120558
egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM084060
035-os BibID:(WoS)000387617600002 (Scopus)84978763720
Első szerző:Aman, Bogdan
Cím:Simulating P systems with membrane dissolution in a chemical calculus / Bogdan Aman, Péter Battyányi, Gabriel Ciobanu, György Vaszil
Dátum:2016
ISSN:1567-7818
Megjegyzések:We present a transformation of membrane systems, possibly with promoter/inhibitor rules, priority relations, and membrane dissolution, into formulas of the chemical calculus such that terminating computations of membranes correspond to terminating reduction sequences of formulas and vice versa. In the end, the same result can be extracted from the underlying computation of the membrane system as from the reduction sequence of the chemical term.
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
Membrane dissolution
Chemical computing paradigm
Chemical calculus
Megjelenés:Natural Computing. - 15 : 4 (2016), p. 521-532. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus) Ciobanu, Gabriel Vaszil György (1968-) (matematikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1