基于Petri网的建模技术A