A应该选用适当的表示方法B应该有形式化方法顾问随时提供咨询C应该形式化，但不要过分形式化D任何时候都应该采用形式化说明技术正确ABCPetri网可用于表达同步问题