t31os_ སྒྲིག་འཇུག་བྱས་ཚད། 1,000+ ཐོན་རིམ་ 3.6.1 ནང་དུ་ཚོད་ལྟ་བྱས་ཟིན། ལོ 9 སྔོན་ལ་གསར་བཅོས་བྱས།
For instance p1/t+/3 would read as p1 followed by t+/3, because there are several t+ transition instances, and they all refer to the different nodes in the model.
Music, Opinion, Size