万方数据
万方数据
万方数据
万方数据
万方数据
万方数据
万方数据
一类高级Petri网:XML代数网
作者:唐达, 李晔, 王秀坤, TANG Da, LI Ye, WANG Xiu-kun
作者单位:唐达,王秀坤,TANG Da,WANG Xiu-kun(大连理工大学,电子与信息工程学院,辽宁,大连
,116024), 李晔,LI Ye(大连理工大学,电子与信息工程学院,辽宁,大连,116024;大连海事
大学,交通运输管理学院,辽宁,大连,116026)
刊名:
大连理工大学学报
英文刊名:JOURNAL OF DALIAN UNIVERSITY OF TECHNOLOGY
年,卷(期):2008,48(6)
引用次数:0次
参考文献(15条)
1.袁崇义Petri 网原理与应用 2005
2.EHRIG H.HOFFMANA K.PADBERG J High-level net processes 2002
3.GIRAULT C.VALK R Petri Nets for System Engineering:a Guide to Modeling,Verification,and Applications 2001
4.HOFFMANN K.MOSSAKOWSKI T Algebraic higher-order nets:graphs and Petri nets as tokens 2002
5.HOFFMANN K.EHRIG H.MOSSAKOWSKI T High-level nets with nets and rules as tokens 2005
6.VALK R Concurrency in communicating object Petri nets 2001
7.BILLINGTON J.CHRISTENSEN S.VAN HEE K The Petri net markup language:concepts,technology,and tools 2003
8.LENZ K.OBERWEIS A Inter-organizational business process management with XML nets 2003
9.VON MEVIUS M.PIBERNIK R Process management in supply chains \_ a new Petri-net based approach 2004
10.FERNANDEZ M.SIMEON J.WADLER P An algebra for XML query 2000
11.JAGADISH https://www.doczj.com/doc/171563582.html,KSHMANAN L.SRIVASTAVA D TAX:a tree algebra for XML 2002
12.BADOUEL E.CHENOU J.GUILLOU G Petri algebras 2005
13.MESEGUER J.MONTANARI U Petri nets are monoids:a new algebraic foundation for net theory 1988
14.VALK R Petri nets as token objects:an introduction to elementary object nets 1998
15.CHENG A.MORTENSEN K H Model checking coloured Petri Nets exploiting strongly connected components 1996
相似文献(0条)
本文链接:https://www.doczj.com/doc/171563582.html,/Periodical_dllgdxxb200806023.aspx
下载时间:2009年12月20日