A Petri net based safety analysis of workflow authorization models (2000)

by V Atluri, W K Huang
Venue:The Journal of Computer Security