全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

Algorithm for Computing T-invariants in Transition Coupling Nets
变迁耦合网的T-不变量求解算法

Keywords: Petri net,Transition coupling nets (TCN),Invariants
Petri网
,变迁耦合网,不变量

Full-Text   Cite this paper   Add to My Lib

Abstract:

First,the transition coupling net(TCN)and related concepts are defined.Second,the relationship between T-invariants of TCN and its branches nets is pointed out.Based on the facts that whether they have anything to do with the Coupling transition,the minimal T-invariants of a TCN are divided into two kinds called MTS1 and MTS2.The algorithm for finding T-invariants of TCN is given and two simple examples are used to illustrate the algorithm.Finally,the algorithm is implemented and the elementary experimental...

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133