Synthesis of Petri Nets from Finite Partial Languages

  • Authors:
  • Robert Lorenz;Robin Bergenthum;Jorg Desel;Sebastian Mauser

  • Affiliations:
  • Catholic University of Eichstatt-Ingolstadt, Germany;Catholic University of Eichstatt-Ingolstadt, Germany;Catholic University of Eichstatt-Ingolstadt, Germany;Catholic University of Eichstatt-Ingolstadt, Germany

  • Venue:
  • ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.