Text this: 基于Petri网语言的系统设计与分析