TOOLS - Making Services Behave Well

Anica - hecking non-interference for safe Petri nets
BPEL2oWFN - Translating WS-BPEL processes into Petri net models
Candy - Synthesizing cost-efficient partners for services
Chloe - Characterizing languages of open systems
Cosme - Cosme decides matchting and substituability for services
Delain - Deciding language inclusions of open systems
Diane - Decomposing Petri nets
Fiona - Checking behavioral correctness of a service
Greta - Graphical Runtime Environment for Adaptive Processes
Linda - Computing communication fingerprints of services
LoLA - A Low Level Petri Net Analyzer
Locretia - Generating logs...
Marlene - Making adapters behave well.
Mia - Calculating migration information
Ondine - Open Net Divider with INtErface optimization
PNAPI - The Petri Net Library
Rachel - Repairing deadlocking service choreographies
Safira - Performing basic set operations for sets of services
Sara - Reachability Analysis
Seda - Service-Technology.org Editor Application
Tara - Synthesizing cost-minimal partners for services
UML2oWFN - Translating UML2 Activity Diagrams to Petri nets
Uma - An Unfolding-based Model Analyzer
Wendy - Synthesizing partners for services
Yasmina - Checking service compatibility with ILP