模糊时间Petri网及扩展的模糊时间Petri网

计算机科学 ›› 2005, Vol. 32 ›› Issue (11): 241-246.

• 软件工程与数据库技术 • 上一篇下一篇

模糊时间Petri网及扩展的模糊时间Petri网

董玉梅张立臣

广东工业大学计算机学院,广州510090

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文受国家自然科学基金（No.60474072、No.60174050）、广东省自然科学基金（No.04009465、No：010059）、广东省高校自然科学研究项目（N0.Z03024）基金资助.

DONG Yu-Mei, ZHANG LiChen （Faculty of Computer Science, Guangdong University of Technology, Guangzhou 510090）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 网络实时系统对时间和QoS有严格要求，因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示，在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网，它是一种对网络实时系统进行建模和分析的形式化模型，Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网，可扩展的时间Petri网的网精简方法，使用design／CPN仿真，及使用EFTN对多媒体

关键词: 形式化建模网精简实时系统模糊时间Petri网扩展的模糊时间Petri网时间Petri网可扩展模糊集合理论 design 形式化模型

Abstract: Network-based real-time system has strict requirements for time and QoS, therefore techniques and tools helping engineers design, implement and test these applications are highly desirable. Fuzzy-Timing Petri Net（FTN） employ fuzzy set theory to express un

Key words: Formal modeling, Net-reducing, Real-time system, Fuzzy-timing Petri Net（FTN）, Fuzzy-timing Petri Net （FTN）

董玉梅张立臣. 模糊时间Petri网及扩展的模糊时间Petri网[J]. 计算机科学, 2005, 32(11): 241-246. https://doi.org/

DONG Yu-Mei, ZHANG LiChen （Faculty of Computer Science, Guangdong University of Technology, Guangzhou 510090）. [J]. Computer Science, 2005, 32(11): 241-246. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

模糊时间Petri网及扩展的模糊时间Petri网

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0