路径并发合成相关论文
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性......
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题。本文综述......
在Perri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要......
