scientific article; zbMATH DE number 7167775

zbMath1433.68239arXiv1508.04851MaRDI QIDQ5216152

Eike Best, Uli Schlachter

Publication date: 14 February 2020

Full work available at URL: https://arxiv.org/abs/1508.04851

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues ⋮ Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues ⋮ A New Property of Choice-Free Petri Net Systems ⋮ Structural Reductions Revisited ⋮ Articulation of Transition Systems and Its Application to Petri Net Synthesis ⋮ Target-oriented Petri Net Synthesis ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis ⋮ Symbolic and Structural Model-Checking

Uses Software

• APT

This page was built for publication: