×

兹马思-数学第一资源

工具TINA-为Petri网和时间Petri网构造抽象状态空间。(英语) Zbl公司 1060.68695
小结:除了图形编辑工具外,软件工具Tina还提出了为Petri网或时间Petri网的行为构造一些表示。人们使用各种技术来提取网络行为的视图,保留其状态空间的某些属性类。对于Petri网,这些抽象有助于防止组合爆炸,依赖于所谓的偏序技术,例如覆盖步骤和/或持久集。对于一般具有无限状态空间的时间Petri网,它们以状态类的形式提供其行为的有限符号表示。

理学硕士:
68立方厘米 符号计算与代数计算
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
蒂娜
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] DOI:10.1142/9789814343459·doi:10.1142/9789814343459
[2] Bérard B,系统和软件验证模型检查技术和工具(2001)·Zbl公司 1002.68029·doi:10.1007/978-3-662-04558-9
[3] Berthomieu B 2001洛杉矶éd类方法é塔茨普尔l'analysis des réseaux Tempells–mise en oeuvre,扩建à 国防部的la多敏感程序é系统化è梅斯Réactifs,图卢兹,法国
[4] 数字标识码:10.1109/32.75415·Zbl公司 05113493·数字标识码:10.1109/32.75415
[5] Berthomieu B,斯普林格(2003)
[6] 迪亚兹M,在莱斯特é塞奥·德·佩特里。国防部é《丰达门托》(2001年)
[7] 费尔南德斯J-C,斯普林格(1996)
[8] 费尔南德斯J-C,斯普林格(1991)
[9] 弗里堡,斯普林格(1999)
[10] Godefrod P,并发系统验证的偏序方法(1996)·Zbl公司 1293.68005·doi:10.1007/3-540-60761-7
[11] Godefrod P,斯普林格(1991)
[12] DOI:10.1016/S0022-0000(69)80011-5·Zbl公司 198.32603·doi:10.1016/S0022-0000电话:(69)80011-5
[13] Mazurkiewicz A,斯普林格(1986)
[14] DOI:10.1109/TCOM.1976.1093424·Zbl公司 362.68096·doi:10.1109/TCOM.1976.1093424
[15] Milner R,《通信与并发》(1985)
[16] DOI:10.1137/0216062·Zbl公司 654.68072·doi:10.1137/0216062
[17] Peled D,Springer(1998年)
[18] Ribet P-O,斯普林格(2002)
[19] Ribet P-O Vernadat F Berthomieu B 2003 Graph de pas couvrant公共关系éservantLTL XReport 03053。LAAS-CNRS系统
[20] Tripakis S,斯普林格(1996)
[21] Valmari A,斯普林格(1989)
[22] Van Glabbeek RJ,斯普林格(1990)
[23] 斯普林格,1996年
[24] 弗纳达F,斯普林格(1997)
[25] 弗纳达F,Vé裂谷作用éseaux de Petri,Hermes Science(2003年)
[26] Yoneda T,IEEE信息与系统事务99 pp 1–(1998)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。