SEPIA: Security-oriented PN Framework
Petri net framework for security related modeling and reasoning.
Status: Inactive
Brought to you by:
adlange,
honsintu