Modelling Mobility in High-level Petri Nets

  • Authors:

  • Raymond Devillers;Hanna Klaudel;Maciej Koutny

  • Affiliations:

  • Universite Libre de Bruxelles, Belgium;Universite d'Evry, France;University of Newcastle, United Kingdom

  • 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.