The non-uniform beam components are commonly used in engineering,while the method to analyze such component is not too satisfactory yet. A new non-uniform beam
Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description