状态转换方法目前主要有三种实现方法：____________、有色Petri-Net和语言／应用编程接口。