%0 Journal Article
%T 混合petri网的流体随机petri网模型
%A 黄镇谨
%A 陆阳
%A 杨娟
%A 方欢？
%J 计算机科学
%D 2012
%X 混合pctri网和流体随机pctri网作为混合系统的建模方法，其内在的建模机制和分析方法不尽相同，而且这两种机制远未发展成熟。分析并建立它们之间相互转换的方法有助于机制本身的发展完善，并利用对方的建模原语和分析方法对系统进行多角度的分析。提出了一阶混合pctri网转换成流体随机pctri网的形式化方法及转换后变迁合并的方法，并给出了转换和合并方法的正确性证明，最后结合实例简要阐述了这两种方法的实现过程。
%K pctri网
%K 模型转换
%K 混合pctri网
%K 流体随机pctri网
%K 变迁合并
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120811&flag=1