Synthesis and Control of Asynchronous and Distributed Systems

Authors:
Philippe Darondeau
Affiliations:
INRIA-Rennes, France
Venue:
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Year:
2007

Citing 0
Cited 1

A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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