【摘 要】
：
Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常
论文部分内容阅读
Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力研究的问题[4,5].但对一般Petri网的活性研究至今没有较为理想的解决方法.本文在Petri网的并运算的基础上提出了多重Petri网-M-Petri网的概念,并讨论了M-Petri网的相容、守恒、有界性质以及活性,给出若干结构有界的判定条件.
其他文献
1.引言复杂系统的需求工程中,主要的挑战来自于需求本质上的不精确和需求间经常出现的不一致.为了形式化地捕捉到不精确需求的弹性,人们引入了模糊逻辑处理相应的表示和推理
1.引言N-tuple结构首先由Bledsoe ＆ Browing(1959)提出[1],并由英国帝国理工学院的Alexsander教授等人通过用RAM式神经元代替常规的神经元,利用N元(N-tuple)分解技术和可扩展
It is one of feasible ways to use the fully-developed database management system to manage the XML data. How to generate the corresponding relational schema is
The paper introduces the guide to Software Engineering Body of Knowledge,a project developed jointly by IEEE computer society and ACM. The background,objectives
Cooperation is an important mechanism for MultiAgent systems to work effectively. To real-ize it,a distributed plan is introduced in this paper. The constrained
The article introduces the objectives and contents of SWEEP,a software engineering education project organized by SWECC (a joint force form IEEE computer societ
Current middlewares are limited in their flexibility and adaptabiliy in face of changing environment and different user requirements. Applying the reflection te