Petri Net Security Checker: Structural Non-interference at Work.

Simone Frau Roberto Gorrieri Carlo Ferigato

Published in: Formal Aspects in Security and Trust (2008)

Keyphrases

petri net
petri net model
discrete event systems
web service composition
high level petri nets
manufacturing systems
information security
colored petri nets
service composition
ims ld
fuzzy petri net
stochastic petri net
access control
natural language
knowledge representation
concurrent systems