{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:48:08Z”，“时间戳”：1725493688825}，“出版商位置”：“柏林，海德堡”，“参考计数”：11，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540661320“}，{”类型“：“电子”，“值”：“9783540487456”}]，“内容域”：{“域”：[]，“交叉标记-限制”：false}，“短容器-标签”：[[]，“发布-打印”：{-“日期-部件”：[[1999]]}，”DOI“：”10.1007\/3-540-48745-x_9“，”type“：”book-capter“，”created“：{”date-parts“：[2007,10,27]]，”date-time“：”2007-10-27T04:12:599 Z“，”时间戳“：1193458379000}，”页面“：”127-146“，“source”：“Crossref”，“由count引用”：2，“title”：[“Interworking Traders的分析方法”]，“prefix”：“10.1007”，“author”：[｛”给定“：“A.”，“family”：“Tokmakoff”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“J.”，“family”：“Billington”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“published online”：｛“date parts”：[[2003,4,18]]}，“reference”：[{“unstructured”：“ISO\/IEC Trading（1997）\u201cReference Model of Open Distributed Processing\u2014 Trading Function\u201d，ISO\/ICE IS 13235-1。ITU\/T Rec.X950-11997年草案。另请访问：http://www.dstc.edu.au\/au\/research_news\/odp\/trader\/standards.html“，”key“：”9_CR1“}，{”doi-sserted-by“：”crossref“，”unstructured“：”Jensen，K.（1992）\u201c彩色Petri网。基本概念、分析方法和实际应用。第1卷：基本概念\u201d，EATCS理论计算机科学专著，Springer-Verlag。“，”key“：”9_CR2“，”DOI“：”10.1007\/978-3662-06289-0“}，{”unstructured“：”ISO\/IEC IS 10746-1 ITU-T建议书X.901（1996）\u201cOpen Distributed Processing参考模型\u2014第1部分：概述和使用指南\u201d，瑞士日内瓦。“，\u201cThe Common Object Request Broker:Architecture and Specification Revision 2.0\u201d，1995年7月ISO\/IEC贸易教程（1996）\u201cOpen Distributed Processing的参考模型\u2014贸易函数附录A：贸易函数草案教程\u201d。http://www.dstc.edu.au\/au\/research_news\/odp\/trader\/tr_tutorial.html“，”key“：”9_CR6“}，{”unstructured“：”Tokmakoff，A.（1998）\u201cModelling，Analysis and Prototyping of the odp trader using Coloured Petri Nets and Java\u201d，博士论文，南澳大利亚大学信息技术学院，1998年3月。http://www.itr.unisa.edu.au\/~steven\/thesion\/aat.pdf“，”key“：”9_CR7“}，{”doi-asserted-by“：”crossref“，“unstructured”：“Tokmakoff，A.和Billington，J.（1996）基于对象系统的CPN建模：ODP Trader，第一届开放式基于对象分布式系统形式化方法国际研讨会，法国巴黎，1996年5月，第245\u2013260页。http://www.itr.unisa.edu.au\/people\/andrew\/papers\/FMOODS96.ps.gz“，”key“：”9_CR8“，”DOI“：”10.1007\/978-0-387-35082-0_18“}，{”unstructured“：”Tokmakoff，A.，Billington，J.（1998）使用等价类对ODP交易者进行可达性分析。国际软件工程会议：教育与实践，新西兰达尼丁，26\u201329，1998年1月，IEEE计算机社会出版社。http://www.irisa.fr\/prive\/安德鲁。Tokmakoff，tsec，papers\/SEEP98.pdf“，”key“：”9_CR9“}，”{“unstructured”：“Jensen，K.（1994）\u201cColoured Petri Nets.基本概念、分析方法和实际应用。第2卷：分析方法\u201d，EATCS理论计算机科学专题论文，Springer-Verlag。”，“key”：“9_CR10”}，{“非结构化”：“Garland，S.，J.，（1986），\u201c计算机科学导论及其在Pascal\u201d中的应用，Addison-Wesley，1986，ISBN 0-201-04398-X“，”key“：”9_CR11“}]，”container-title“：[“计算机科学讲义”，“Petri网的应用和理论1999”]，“original-title”：[]，“link”：[{“URL”：“http://link.springer.com/content\/pdf\/10007\/3-540-48745-X_9”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,3]]，”date-time“：“2019-05-03T22:09:34Z”，“timestamp”：1556921374000}，“score”：1，“resource”：{“primary”:{“URL”：“http://link.springer.com\/10007\/3-540-48745-X_9”}}，”subtitle“：[]，“短标题”：[]，“已发布”：{“date-parts“：[[1999]]}，”ISBN“：[”9783540661320“，”97835487456“]，”references-count“：11，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-48745-x_9“，”relation“：{}，“ISSN”：[”0302-9743“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}]，“subject”：【】，“published”：{“date-part”rts“：[[1999]]}}