{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,8,10]]，“日期-时间”：“2024-08-10T09:49:37Z”，“时间戳”：1723283377689}，“引用-计数”：42，“发布者”：“独立出版商”，“问题”：“1”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container-ti tle“：[“IJBPIM”]，“published-print”：{“date-parts”：[2009]]}，“DOI”：“10.1504\/ijbpim.2009.026986”，“type”：“journal-article”，“created”：{“date-parts”：[[2009,7,13]]，“date-time”：“2009-07-13T11:30:26Z”，“timestamp”：1247484626000}，”page“：”60“source”：”Crossref“，”is-referenced-by-count“：22，”title“：[”比较和评估Petri网语义BPEL“]，”前缀“：“10.1504”，“卷”：“4”，“作者”：[{“给定”：“尼尔斯”，“家族”：“洛曼”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“埃里克”，“家庭”：“韦贝克”，“顺序”：“附加”，“隶属关系”：[]}、{“给出”：“春”，“家人”：“欧阳”，“sequence”：“额外”，“附属关系”：【】}，}“给定的”：“基督徒”，“家庭”：“斯塔尔”，“序号”：“additional”“，”隶属关系“：[]}]，”成员“：”378“，“reference”：[{“key”：“ref1”，“author”：“Alves”，“year”：“2007”}，{“密钥”：“ref2”，“作者”：“Andrews”，“年份”：“2003”}“：”13“，”author“：”Dehnert“，”year“：”2004“，”journal-title“：“国际合作信息系统杂志”}，{“key”：“ref5”，“首页”：“107”，“卷”：“5387”，“作者”：“Eisentraut”，“年份”：“2008”，“新闻标题”：“Web服务和形式方法，第四届国际研讨会，WSFM 2008，LNCS Proceedings”}：“3114”，“author”：“Fu”，“year”：“2004”，“journal title”：“Computer Aided Verification，16th International Conference，CAV 2004 Proceedings”｝，｛“key”：“ref8”，“author”：“Girault”｝，｛“key”：“ref9”，“doi asserted by”：“crossref”，“first page”：“220”，“doi”：“10.1007\/11583394_15”，“volume”：“3649”，“author”：“Hinz”，“year”：“2005”，“journal title”：“第三届国际商业流程管理会议”}，{“key”：“ref10”，“author”：“Holzmann”，“year”：“2003”}、{“key”：”ref11“，“auther”：“Keller”，“年份”：“1992”}；{“key”：“ref12”，“doi-asserted-by”：“crossref”，“first page”：《199》，“doi”：“10.1007\/978-3-540-68265-3_13”，“volume”：第5052“，”author“：”Lapadula“，”year：“2008”，“新闻标题”：“协调模型与语言，第十届国际会议，2008年协调国际会议，会议记录”}，{“key”：“ref13”，“首页”：“127”，“卷”：“4275”，“作者”：“Lassen”，“年份”：“2006”，“期刊标题”：“迈向有意义的互联网系统2006会议记录，第一部分”}，{“key”：“ref14”，“作者”：“Leymann”，“年份”：“2000”}，{“key”：“ref15”，“author”：“洛曼”，“年份”：“2007年”}，{“key”：“ref16”，“首页”：“77”，“卷”：“4937”，“作者”：“洛门”，“年”：“2008年”，“新闻标题”：“Web服务和形式方法，第四届国际研讨会，WS-FM 2007年会议记录”}18英寸，“首页”：“46”，“卷”：“4937”，“作者”：“Lohmann”，“年份”：“2008a”，“日志标题”：“Web服务和形式方法，第四次国际研讨会，WS-FM 2007年会议记录”}，{“key”：“ref19”，“doi-asserted-by”：“crossref”，“first-page”：“321”，“doi”：“10.1007\/978-3-540-73094-1_20”，“volume”：al标题“：“第28届Petri网应用与理论及并发模型国际会议，ICATPN 2007年会议记录”}，{“key”：“ref20”，“doi-asserted-by”：“crossref”，“first page”：”17“，“doi”：“10.1007”，卷：“4102”，“author”：“Lohmann”，“year”：“2006”，“journal-title”：“第四届商业流程管理国际会议”}，{“key”：“ref21”，“doi-asserted-by”：“crossref”，“first page”：”38“，“doi”：“10.1016\/j.datak.2007.06.006”，“volume”：：“64”，“author”：“Lohmann”，“year”：“2008b”，“journal-title”：“Data Knowl.Eng.”}“：”10.1016\/j.jlap.2006.05.007“，“volume”：“70”，“author”：“Lucchi”，“year”：“2007”，“journal-title”：“journal of Logic and Algebraic Programming”}，{“key”：”ref23“，”volume“：”3442“，”author“：”Martens“，”year“：”2005“，”journal-title“：”Proceedings of International Conference on Fundamental Approachs to Software Engineering“}，”{“key”：“ref24”，“first page”：：“35”，“volution”：：“2005”，“journal-title”：“数学、计算和远程信息学年鉴”}，{“key”：“ref25”，“doi-asserted-by”：“crossref”，“first page”：”541“，“doi”：“10.1109\/5.24143”，“volume”：：“77”，“author”：“Murata”，“year”：“1989”，“journal-ttitle”：”IEEE Proceedings of the IEEE“参考27”，“首页”：“484”，“卷”：“3826”，“author”：“auyang”，“year”：“2005”，“journal-title”：“第三届国际服务计算会议论文集”}，{“key”：“ref28”，“doi-asserted-by”：“crossref”，“first page”：”162“，”doi“：”10.1016\/j.scico.2007.03.002“，”volume“67”，“作者”：“auyang”、“year“2007”，“日记标题”：“计算机编程科学”}、{“key”：：“ref29”，“author”：“Reisig”，“year”：“1985”}，{“key”：“ref30”，“first page”：”465，“author”：“Van Breugel”，“year”：“2006”}，{“key”：“ref33”，“doi-asserted-by”：“crossref”，“first-page”：“21”，“doi”：“10.1142 \/S02186698000043”，“volume”：《8》，“author”：“Van der Aalst”，“year”：《1998》，“journal-title”：“journal of Circuits，Systems and Computers”}；{“密钥”：“ref34”，“doi-asserte-by”：“Crosref“，“first page”：”245“，“doi”：“10.1016\/j.is.2004.02.002”，“volume”：“30”，“author”：“Van der Aalst”，“year”：“2005”，“journal-title”：“Information Systems”}，{“key”：”ref35“，”author“：”Van der A alst“，”year“：”2002“}，}“key:”ref36“，”doi-asserted-by“：”crossref“，”first page“：”237“，”doi“：”10.1016\/S0169-023X（03）00066-1“，”volume“：“年份”：“2003年”，“新闻标题”：“数据与知识工程”}，{“key”：“ref37”，“doi-asserted-by”：“crossref”，“first page”：：“444”，“doi”：“10.1007\/11494744_25”，“volume”：”3536“，“author”：“Van Dongen”，“year”：“2005”，“journal title”：“Petri网的应用与理论，2005年第26届国际会议，ICATPN 2005年会议记录”}，“首页”：“293”，“DOI”：“10.1007 \/3-540-18086-9_31”，“卷”：“266”，“作者”：“Vautherin”，“年份”：“1987”，“日志标题”：“Petri Nets 1987的进展，涵盖第七届欧洲Petri网应用与理论研讨会”}，{“key”：“ref39”，“DOI-asserted-by”：“crossref”，“first-page”：“246”，”DOI“：”10.1093 \/comjnl/44.4.246“，”卷：“44”，“作者”：“Verbeek”，“year”：“2001”，“journal-title”：“The Computer journal”}，{“key”：“ref40”，“doi-asserted-by”：“crossref”，”first page“：“294”，“doi”：“10.1093\/comjnl/bxl074”，”volume“：”50“，”author“：”Verbeeks“，”year“：”2007“，”journal-title“：”The Computers journal“2006”}，{“key”：“ref42”，“首页”：“152”，“卷”：“2”，“author”：“Wolf”，“year”：“2009”，“journal-title”：“Process-Aware Information Systems中的并发”}]，“container-title“：[”International journal of Business Process Integration and Management“]，“original-tittle”：[]，“language”：“en”，“deposed”：{“date-parts”：[[2019,5,21]]，“date-time”：“2019-05-21T11:54:06Z”，“timestamp”：1558439646000}，“score”：1，“resource”用法：{“primary”:{“URL”：“http://www.inderscience.com//link.php？id=26986”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{《date-parts》：[[2009]]}，”references-count“：42，”journal-issue“：{”issue“：“1”，“published-print”：{-“date-part”：[[2009年]]}}jbpim.2009.026986“，”关系“：{}，”ISSN“：[”1741-8763“，”1741-8871“]，”ISSN-type“：[｛“value”：“1741-8763”，“type”：“print”｝，｛“value”：“1741-8771”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2009]]｝｝