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.