A METHOD OF CONSTRUCTION AND EXECUTION FOR LABEL TRANSITION SYSTEM

Zhang Guanhua,Zhang Lianhua,Bai Yingcai
DOI: https://doi.org/10.3969/j.issn.1000-386X.2006.05.034
2006-01-01
Abstract:Based on dynamic tree,this paper proposes a novel method of construction and execution for label transition system,which has some salient features.First,tree can describes label transition system with clear hierarchy and executing system is convenient using traversal algorithm of tree.Secondly,state recursion and retrospect of process algebra can be solved by dynamic construction of tree.At last,execution of label transition system only depends on current dynamic tree so that complexity of execution is reduced.
What problem does this paper attempt to address?