Dr. Dirk Fahland
TU Eindhoven
P.O. Box 513
5600 MB Eindhoven
the Netherlands
d.fahland@tue.nl
skype: dfahland
twitter: dfahland
office: MF 7.066
phone: +31 40 2474804
Uma is a tool for analyzing behavioral properties of Petri nets and scenario-based specifications, and for synthesizing Petri nets from scenario-based specifications.
The theory behind Uma generalizes McMillan's complete prefixes of Petri net unfoldings; see my PhD thesis From Scenarios To Components to learn more.
Uma is implemented in Java and runs as a stand-alone tool; alternatively you may use Uma as an unfolder library in your own tool. Currently, Uma is used as a library in
go to Github to learn more and download Uma and its source code
Sam provides tools for analyzing and discovering scenarios and for synthesizing Petri nets from scenario-based specifications.
go to https://www.win.tue.nl/~dfahland/tools/sam/ to learn more and download Sam
Greta is graphical editor and simulation engine for scenario-based specifications in the style of Live Sequence Charts. You can use Greta to
Greta builds on Eclipse and can be installed as a plugin to your running Eclipse installation, or as a stand-alone application.
go to http://home.gna.org/service-tech/greta/ to learn more and download Greta
get the source code of Greta and of the underlying Seda tool
We use the technique of McMillan's complete prefixes in several plugins for the Process Mining Toolkit ProM. These plugins allow
go to http://www.processmining.org to learn more and download the Uma plugins for ProM and their source code
Uml2owfn is a tool for translating process models created with the IBM Websphere Business Modeler into Petri net models to enable structural and behavioral analysis. The translation implemented in uml2owfn is described in a technical report.
go to http://home.gna.org/service-tech/uml2owfn/ to learn more about UML2oWFN and to download the tool and its source code