Petri网论相关论文
该文中,研究人员提出了一种二元的方法用来对并发系统进行建模和推理证明.在该方法中,研究人员将Petri网和时序逻辑结合在一起.其......
本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划......
