Synchronized shuffle operation of Petri net languages and its applications in analysis for language behaviors

• Petri网语言的同步混排运算及在语言分析中的应用