An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment · Study