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