Computer Science ›› 2017, Vol. 44 ›› Issue (Z6): 543-545.doi: 10.11896/j.issn.1002-137X.2017.6A.121

Previous Articles     Next Articles

On t-type s Cuts and t Cuts of Occurrence Nets

LIU Ping   

  • Online:2017-12-01 Published:2018-12-01

Abstract: This paper discussed the t-type s cuts and t cuts of occurrence nets.The concept of transfer sets were introduced and used to transfer one t cut to anather.The concept of t-type s cut was introduced,that there is correspondence between the set of t-type s cut and the set of t cuts was proved,that every t cut is the accompany set of a t-type s cut and that the transfer of a t cut correspond to the transfer of a t-type s cut with some transfer set were also proved.

Key words: Occurrence net,t cuts,Transfer set,t-type s cuts

[1] 吴哲辉.有界Petri网的进程表达式[J].中国科学(A辑),1995,25(12):1332-1340.
[2] 吴哲辉,王培良,赵茂先.无界公平Petri网的进程表达式[J].计算机学报,2000,23(4):337-344.
[3] 曾庆田,吴哲辉.Petri网的进程网系统[J].计算机学报,2002,25(12):1308-1315.
[4] 曾庆田,吴哲辉.无界Petri网的进程表达式[J].计算机学报,2003,26(12):1629-1636.
[5] 于枫,罗军舟,李伟,等.一种基于进程验证的Petri网可达性判定方法[J].计算机学报,2010,33(2):288-299.
[6] 汪明新,刘关俊,闫春钢.稳定有界Petri网的进程表达式[J].计算机科学,2011,38(2):55-58.
[7] 刘萍.出现网的抽象描述[J].甘肃高师学报,2014(5):76-78.
[8] 吴哲辉.Petri网导论[M].北京:机械工业出版社,2006.
[9] 曾庆田.一种基于同步合成构造Petri网进程表达式的方法[J].计算机学报,2008,31(3):381-394.
[10] 蒋昌俊.离散事件动态系统的PN机理论[M].北京:科学出版社,2000.
[11] 袁崇义.Petri网应用[M].北京:科学出版社,2013.
[12] 闫春钢,汪明新,刘关俊.有界网进程表达式与活性的关系[J].应用科学学报,2012,30(4):387-390.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!