scientific article; zbMATH DE number 7020134
From MaRDI portal
Publication:4621135
zbMath1424.68107MaRDI QIDQ4621135
Maciej Koutny, Marta Pietkiewicz-Koutny
Publication date: 8 February 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri netsconcurrencytransition systemsconflictlocalitiestheory of regionsGALSstep-sequence semanticsnet synthesis
Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
A cylinder computation model for many-core parallel computing ⋮ Regions of Petri nets with a/sync connections ⋮ Applying regions ⋮ Synthesising elementary net systems with localities
This page was built for publication:
