The Synthesis Problem

DOI10.1007/978-3-642-38143-0_8zbMath1382.68153OpenAlexW4206491787MaRDI QIDQ4924451

Wolfgang Reisig

Publication date: 31 May 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_8

Mathematics Subject Classification ID

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

Related Items (2)

Discovering workflow nets using integer linear programming ⋮ Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem

This page was built for publication: The Synthesis Problem