Petri网共享T型子网合成结构性质分析及其应用

计算机科学 ›› 2007, Vol. 34 ›› Issue (3): 240-245.

• 计算机网络与信息安全 • 上一篇下一篇

Petri网共享T型子网合成结构性质分析及其应用

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（60073013）、国家重点基础研究发展规划（1998030416）和中国科学院管理、决策与信息系统开放实验室（MADIS）资助.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 为了解决系统设计中的子系统共享问题，提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案；研究了共享T-型子网合成网的结构性质，提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。

关键词: Petri网合成结构活性公平性系统设计

Abstract: A scheme is obtained using synthesis of Petri nets shared P-type subnet, in order to solve subsystem-shared problem in system design. The structural properties of synthesis Petri nets are studied. The sufficient conditions or sufficient and necessary cond

Key words: Petri nets, Synthesis, Structural liveness, Fairness, System design

. Petri网共享T型子网合成结构性质分析及其应用[J]. 计算机科学, 2007, 34(3): 240-245. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

Petri网共享T型子网合成结构性质分析及其应用

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0