SAM/Synthesis

synthesizing decentralized components from scenario-based specifications
written and maintained by Dirk Fahland, Eindhoven University of Technology

Sam/Synthesis is a tool for synthesizing decentralized components from scenario-based specifications, it is part of the tool suite Sam that provides tools for Scenario-based Analysis and Methods.

download: pre-compiled Java (.zip)

Sam/Synthesis takes as input a variant of Live Sequence Charts called distributed Live Sequence Charts and synthesizes a behaviorally equivalent Petri net that can be decomposed into decentralized components. The synthesized Petri nets can be opened with CPN Tools for inspection, simulation, and further refinement.


Input specification in dLSC format.

Petri net components synthesized by Sam/Synthesis.

Sam/Synthesis is an open source tool written in Java. Its sources are available from svn.gna.org/svn/service-tech/trunk/Service-Tech-Java/sam/org.st.sam.cLSC. A binary package together with a manual and several example specifications can be downloaded here.

read more about the supporting theory

  1. Dirk Fahland, Amir Kantor, Synthesizing Decentralized Components from a Variant of Live Sequence Charts. Technical Report. download pdf