论文部分内容阅读
Petri Net(PN) is a very important modeling methodology for dynamic concurrent system. Many PN modelsare available in existing literature,but a little attention has been paid to such a PN that supports multilevel securepolicies. In this paper,a novel PN mo