• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
搜索

Author:

夏传良 (夏传良.)

Indexed by:

CQVIP PKU CSCD

Abstract:

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。

Keyword:

活性 Petri网 有界性 合成 系统设计

Author Community:

  • [ 1 ] 中国科学院软件所计算机科学国家重点实验室
  • [ 2 ] 北京工业大学计算机科学与技术学院 北京100022
  • [ 3 ] 北京100080

Reprint Author's Address:

Email:

Show more details

Related Keywords:

Source :

系统仿真学报

Year: 2007

Issue: S1

Page: 4-8,37

Cited Count:

WoS CC Cited Count: 0

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 2

Affiliated Colleges:

Online/Total:828/5290813
Address:BJUT Library(100 Pingleyuan,Chaoyang District,Beijing 100124, China Post Code:100124) Contact Us:010-67392185
Copyright:BJUT Library Technical Support:Beijing Aegean Software Co., Ltd.