基于petri网语言的并发系统性质研究

给出petri网弱活性（无死锁）与活性的两个语言刻画，讨论了同步合成petri网的语言性质，基于petri网语言，给出了判定petri网活性的充分必要条件。同时研究了petri网同步合成过程中活性保持问题，给出保持活性的充分必要条件。这些结果为讨论网的活性测试和控制提供了形式语言的方法。