UNiform Interface to COmputing and data REsources
Security Workflow Analysis Tool
Java Library for workflow handling
Tool for synthesizing business process logs.
Petri net framework for security related modeling and reasoning.
Framework for security-related definition and reasoning.