[1]唐郑熠,林佳音,黄泽斌.标号迁移系统的互模拟关系及其性质[J].福建工程学院学报,2018,16(06):547-552.[doi:10.3969/j.issn.1672-4348.2018.06.008]
　TANG Zhengyi,LIN Jiayin,HUANG Zebin.Bisimulation relation in labeled transition system and its properties[J].Journal of FuJian University of Technology,2018,16(06):547-552.[doi:10.3969/j.issn.1672-4348.2018.06.008]
点击复制

标号迁移系统的互模拟关系及其性质()
分享到：

《福建工程学院学报》[ISSN:2097-3853/CN:35-1351/Z]

卷:
第16卷
期数:
2018年06期
页码:
547-552
栏目:
出版日期:
2018-12-25

文章信息/Info

Title:
Bisimulation relation in labeled transition system and its properties
作者:
唐郑熠; 林佳音; 黄泽斌
福建工程学院信息科学与工程学院
Author(s):
TANG Zhengyi;  LIN Jiayin;  HUANG Zebin
School of Information Science and Engineering, Fujian University of Technology
关键词:
系统行为;  等价;  标号迁移系统;  模拟;  互模拟
Keywords:
system behavior;  equivalence;  labeled transition system;  simulation;  bisimulation
分类号:
TP393.08
DOI:
10.3969/j.issn.1672-4348.2018.06.008
文献标志码:
A
摘要:
以标号迁移系统为工具，探讨了系统行为的等价性问题，构建了模拟及互模拟关系的形式化模型，进而将互模拟的概念推广到了系统的层面，进一步探讨了模拟及互模拟关系的性质，揭示了互模拟概念的本质，为其在形式化分析及验证技术中的应用提供了基础。
Abstract:
The equivalence of system’s behavior was discussed by using the labeled transition system. The formal model of the relationship between simulation and bisimulation was constructed, and the concept of bisimulation was extended to the level of the whole system. Furthermore, the properties of simulation and bisimulation were discussed, and the essence of bisimulation was revealed, which provides a basis for its application in formal analysis and verification.

参考文献/References:

[1] PIN J E. Elements of automata theory by Jacques Sakarovitch[J]. Bulletin of Symbolic Logic, 2011, 17(1): 122-124.
[2] LAMPERTI G, ZANELLA M, ZHAO X. Introduction to diagnosis of active systems[M]. Berlin: Springer|Verlag, 2018: 19-43.
[3] TANG Z Y, WANG J S, CHEN Y, et al. The redundancy problem in composition of parallel finite automata and its optimization method[C]∥The Euro|China Conference on Intelligent Data Analysis And Applications. Malaga, Spain: Springer, 2017: 359-367.
[4] MILNER R. Communication and mobile systems: the π|calculus[M]. Cambridge: Cambridge University Press, 1999: 17-26.
[5] SANGIORGI D. On the origins of bisimulation and coinduction[J]. ACM Transactions on Programming Languages & Systems, 2009, 31(4): 1-41.
[6] 李娜, 姚丛军. 互模拟的一些基本性质[J]. 云南师范大学学报（哲学社会科学版）, 2010, 42(5): 68-73.
[7] 蔡烜, 郑一源. 一种计算有限标号转移系统模拟关系的算法[J]. 上海交通大学学报, 2009(11): 1784-1787.
[8] SANGIORGI D. A theory of bisimulation for the π|calculus[J]. Acta Informatica, 1996, 33(1): 69-97.

更新日期/Last Update: 2018-12-25