作者：曲长征; 于永利; 金伟; 高鲁petri网exspect离散事件动态系统建模
摘要：随着petri理论与应用研究的不断发展,petri网已经成为离散事件动态系统建模和分析的有力工具.采用petri网对复杂离散事件动态系统进行建模和分析,没有一套科学的建模方法指导和有力的软件支持是不可能实现的.介绍了基于Petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的复杂离散事件动态系统建模的方法,并进行了实例研究.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
