scientific article; zbMATH DE number 6851937

DOI10.4230/LIPIcs.CONCUR.2016.15zbMath1392.68315MaRDI QIDQ4608667

Uli Schlachter

Publication date: 21 March 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal transition systemsPetri net synthesisconjunctive nu-calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Unnamed Item ⋮ Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems ⋮ On the parameterized complexity of the synthesis of Boolean nets with restricted place environments ⋮ k-Bounded Petri Net Synthesis from Modal Transition Systems.

Uses Software

• APT

This page was built for publication: