摘要：讨论了能对资源共享问题进行建模的共享合成操作.重点研究共享合成Petri网系统的活性保持性,同时还讨论了在共享合成过程中系统的并发行为关系即并发语言关系.给出相应的语言关系式,它可用于判定合成系统的活性.进一步,给出了判定合成系统有活性的充分必要条件.最后,提出了合成系统保持子系统活性的条件.

关键词：共享合成 路径的并发合成 并发语言 活性保持性 良径 

单位：中国科学院软件所计算机科学重点实验室; 北京; 100080; 中国科学院数学与系统科学研究院数学所; 北京; 100080