[1] |
郭峰,魏光,邓蒙蒙.一种面向服务 Petri 网模型及其结构化操作语义[J].小型微型计算机系统,2013,12(12):2739-2740.
|
[2] |
ZUBEREK W M,BLUEMKE I.HIERARCHIES OF PLACE/TRANSITION REFINEMENTS IN PETRI NETS[C]//Emerging Technologies and Factory Automation,1996.EFTA 96.Kauai,HI:IEEE,1996:355-360.
|
[3] |
ALMEIDA C B,KANOUN K.Construction and stepwise refinement of dependability models[J].Performance Evaluation,2004,56(1-4):278.
|
[4] |
夏传良,焦莉,陆维明.Petri网精细化操作及其在系统设计中的应用[J].软件学报,2006,17(1):11.
|
[5] |
HUANG Hejiao,CHEUNG T Y,MAK W M.Structure and behave-or preservation by Petri-net-based refinements in systemdesign[J].Theoretical Computer Science,2004,328(3):245.
|
[6] |
SUN Ping,JIANG Changjun.Analysis of workflow dynamic changes based on Petri net[J].Information and Software Technology,2009,51(2):284.
|
[7] |
CHOPPY C,MAYERO M,PETRUCCI Laure. Experimenting Formal Proofs of Petri Nets Refinements[J].Electronic Notes in Theoretical Computer Science,2008,214(28):232.
|
[8] |
KOHLER M,ROLKE H.Dynamic Transition Refinement[J].Electronic Notes in Theoretical Computer Science,2007,175(2):119.
|
[9] |
BRAUER W,GOLD R,VOGLER W.A Survey of Behavior and Equivalence Preserving Refinement of Petri Nets[G]//LNCS483:Advances in Petri Nets 1990.Be-rlin,Germany:Springer-Verlag,1991:1-46.
|
[10] |
CABAC L,DUVIGNEAU M,MOLDT D,et al.Modeling Dynamic Architectures U-sing Nets-Within-Nets[G]//LNCS3536:26th International Conference,ICATPN2005.Miami:Springer Berlin Heidelberg,2005:148-150.
|
[11] |
WANG Zhijian,WEI Dingguo.Subnet Abstract and Transition Refinement in Petri Nets Model[C]//2009 Second International Workshop on Computer Sc- ience and Engineering. Qingdao:IEEE,2009:418.
|
[12] |
ELHOG-BENZINA D,HADDAD S,HENNICKER R.Refinement and Asynchronous Composition of Modal Petri Nets[G]//LNCS6900:Transactions on Petri Nets and Other Models of Concurrency V.Berlin Heidelberg:Springer-Verlag,2012:96-120.
|
[13] |
GLABBEEK R V,GOLTZ U.Refinement of Actions and Equivalence Notions for Concurrent Systems[J].Acta Informatica,2001,37(4-5):229-327.
|
[14] |
郭峰,邓蒙蒙.进程网建模工具的设计与实现[J].北方工业大学学报:2014,26(1):22-23.
|
[15] |
乔磊.进程网的细化及语义等价研究[D].北京:北方工业大学,2016.
|
[16] |
唐达,杨元生.基于层次细化 Petri 网的工作流参与者机制与动态特性研究[J].计算机研究与发展,2004,41(9):1550.
|