Security Algebras and Formal Models: Using Petri Net Theory.

Tsau Young Lin Larry Kerschberg Robert P. Trueblood

Published in: DBSec (1989)

Keyphrases

formal models
petri net
process model
formal model
rule based systems
petri net model
manufacturing systems
discrete event systems
high level petri nets
ims ld
colored petri nets
fuzzy petri net
web service composition
multistage
stochastic petri net
story generation