{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,31]]，“日期-时间”：“2023-10-31T06:49:26Z”，“时间戳”：1698734966270}，“引用-计数”：32，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{'日期-部件“：[[1986,1,1]]，”日期-时间“：”1986-01-01T00:00:00 0:00Z“，”时间戳“：504921600000}，”内容版本“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com//tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：10059，“URL“https:\\/www.elssevier.com/open-access\/user”许可证\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1986]]}，”DOI“：”10.1016\/0304-3975（86）90177-5“，”type“：”journal-article“，”created“：{”date-part“：[[2003,5,13]]，”date-time“：”2003-05-13T04:58Z“，”timestamp“：1052798000}”，“page”：“213-238”，“source”：“交叉参考”，“由count引用”：34，“title”：[“非序列系统的并发和最大并发进化”]，“prefix”：“10.1016”，“volume”：“43”，“author”：[{“given”：“Ryszard”，“family”：“Janicki”，“sequence”：“first”，“affiliation”：[]｝，{“given”：“Peter E.”，“family”：“Lauer”，“sequence”：“additional”，“affiliation”：[]｝，{“given”：“Maciej”，“family”：“Koutny”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Raymond”，“family”：“Devillers”，“se序列”：“附加”，“从属关系”：[]}]，“member”：“78”，“reference”：[{“key”：”10.1016\/0304-3975（86）90177-5_bib1“，”doi-asserted-by“：”crossref“，”first page“149”，”doi“10.1016\/0304-975（82）90020-2”，“article-title”：“路径程序的充分性属性”，“卷”：“18”，“作者”：“最佳”，“年份”：“1982”，“期刊标题”：“Theoret.Comput.Sci.”}，｛“密钥”：“10.1016\/00304-3975（86）90177-5_bi2”，“文章标题”：“Le Grafcet，pour une repr \u00e9 entation normalizeds \u00e9 e du cahier des charges d'un automaticisme logique”，“卷”：“41\u201342”，“作者”：“Blanchard”，“年份”：“1977”，“期刊标题”：“Automatique et Informatique Industrielle”}，｛“key”：“10.1016/0304-3975（86）90177-5_bi3”，“series title”：“Petri网的应用与理论”，“volume”：“84”，“year”：“1980”｝，｛“key”：“10.1016/0304-3975（86）90177-5_bi4”，“first page”：“3”，“article title”：“如何玩代币游戏或解释位置/过渡网的困难”，“volume”：“16”，“author”：“Brauer”，“year”：“1984”，“journal-title”：“Petri网及相关系统模型，时事通讯”}，{“issue”：“2，3”，“key”：“10.1016\/0304-3975（86）90177-5_bib5”，“first page”：”71“，“article-title“：”Petri网中的有序射击“，”volume“17”，“au作者”：“Burkhard”，“年份”：“1981”，“日记标题”：“Elektron.Informationsverarb.Kybernet”。“}，{”键“：“10.1016\/0304-3975（86）90177-5_bib6”，“series-title”：“Rept.ASM\/106”，”article-title“：“关于COSY系统的最大并发进化”，“author”：“Devillers”，“year”：“1983”}，{“key”：“10.12016\/00304-3975（86）9177-5_bib”，“doi-asserted-by”：“crossref”，“first page”：”273“，”doi“10.1007\/BFBb0030308”，“article”le-title“：“多处理机系统的多种时序逻辑”，“卷”：“176”，“作者”：“Enjalbert”，“年份”：“1984”，“期刊标题”：“计算机科学讲义”}，{“关键”：“10.1016\/0304-3975（86）90177-5_bib8”，“系列标题”：《Simula用户协会第11届年会议事录》，“文章标题”：“基于计算机的并发系统设计和分析环境：COSY符号的SIMULA实现”，“author”：“Hamshare”，“year”：“1983”}，{“key”：“10.1016\/0304-3975（86）90177-5_bib9”，“series-title”：“On the Construction of Programs”，“first-page”：“229”：“1980”}，{“issue”：“6”，“key”：“10.1016\/0304-3975（86）90177-5_bib10”，“首页”：“283”，“article-title”：“路径表达式系统的等价概念”，“volume”：：“21”，“author”：“Janicki”，“year”：“1985”，“journal-title“：”Elektron.Informationsverab.Kybernet.by“：”crossref“，”first page“：”27“，“DOI”：“10.1016\/0304-3975（85）90029-5”，“article-title”：“将顺序系统转换为并发系统”，“volume”：“36”，“author”：“Janicki”，“year”：“1985”，“journal-title“：”Theoret.Compute.Sci.“}，{“key”：”10.1016\/0304-975（86）90177-5_bib12“，“series-title”：”Proc.4th European Workshop on Applications and Theory of Petri Nets“，”first page“188”，“article-title”：“非序列系统的最大并发进化”，“author”：“Janicki”，“year”：“1983”}，{“key”：“10.1016\/0304-3975（86正在处理“，“首页”：“51”，“article-title”：“Petri网和跟踪语言”，“author”：“Knuth”，“year”：“1979”}，{“key”：“10.1016\/0304-3975（86）90177-5_bib15”，“series-title”：《分布式计算系统：同步、控制和通信》，“first page”：：“10.1016\/0304-3975（86）90177-5_bib16”，“series-title”：“Rept.ASM\/107”，“article-title”：“BCS用户简介”，“author”：“Lauer”，“year”：“1983”}，{“key”：”10.1016\/0304-2975（86：“Lauer”，“year”：“1982”}，{“key”：“10.1016\/0304-3975（86）90177-5_bib18”，“series-title”：“Tech.Rept.TR-143”，“article-title”：”基本COSY符号的形式理论“，”author“：”Lauer“，”year“：”1979：“没有全局性假设的并发系统的形式行为规范”，“卷”：“107”，“作者”：“劳尔”，“年份”：“1981”}，{“密钥”：“10.1016\/0304-3975（86）90177-5_bib20”，“doi-asserted-by”：“crossref”，“首页”：“109”，”doi“10.1007\/BF00266047”，“article-title”：“COSY:基于路径表达式的系统规范语言”，“volume”：“12”，“author”：“Lauer”，“year”：“1979”，“journal-title”：“Acta Inform.”}，{“key”：“10.1016\/0304-3975（86）90177-5_bib21”，“series-title”：”报告人DAIMI PB-78“，”文章标题“：”并发程序方案及其解释“，”作者“：”Mazurkiewicz“，”年份“1977”}22“，”首页“：”115“，”文章标题“：“踪迹、历史、图形：过程幺半群的实例”，“卷”：“176”，“作者”：“Mazurkiewicz”，“年份”：“1984”}，{“键”：“10.1016\/0304-3975（86）90177-5_bib23”，“文章标题”：“通信系统的微积分”，“卷标”：“92”，“作家”：“Milner”，“年”：“1980”}tle“：“Proc.4th European Workshop on Application and Theory of Petri Nets”，“first page”：“229”，“article-title”：“OVIDE，一个用于验证基于Petri Net模型的系统的软件包”，“author”：“Montel”，“year”：“1983”}，{“issue”：“3”，“key”：”10.1016\/0304-3975（86）90177-5_bib25“，”doi-asserted-by“：”crossref“，“firstpage”:“223”，”doi“：“10.1145\/356698.356702”，“article-title”：“Petri网”，“volume”：“9”，“author”：“彼得森”，“year”：“1977”，“journal-title“：”ACM Compute.Surveys“}，{“key”：”10.1016\/0304-3975（86）90177-5_bib26“，”first page“：”250，{“键”：“10.1016\/0304-3975（86）90177-5_bib27”，“首页”：“169”，“文章标题”：“关于并发程序的算法属性”，“卷”：“125”，“作者”：“Salwicki”，“年份”：“1981”}86）90177-5_bib29_1“，“series-title”：“Internal Rept.CSR-120-82”，“article-title”：“Non-sequential behavior 1”，“author”：“Shields”，“year”：“1982”}，{“key”：”10.1016\/0304-3975（86）90177-5_bib29_2“，”first page“：”229“，”volume“：tle“：”内部报告CSR-92-81“，”文章标题“：“关于具有广义自由选择属性的系统的非顺序行为”，“作者”：“Shields”，“年份”：“1981”}，{“关键”：“10.1016\/0304-3975（86）90177-5_bib31”，“doi-asserted-by”：“crossref”，“第一页”：“386”，“doi”：“10.4064\/fm-16-1-386-389”，“文章标题”：“扩展部分”，“卷”：“16”，“作家”：“Szpilrajn”，“年”：“1930”，“journal-title”：“Fund.Math.”}]，“container-title“：[”理论计算机科学“]，“original-title:[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:0304397586901775？httpAccept=text\/xml“，”content-type“：”text\/xml“，”content-version“：”vor“，”intended-application“：”“text-mining“}，{”URL“：“https:\/\/api.elsevier.com/content\/article\/PII:0304397586901775？httpAccept=text\/plain”，“content-type”：“text\/plan”，“内容-版本”：“vor”，“intended-application”：“文本-分钟”}]，“存放”：{“日期-部分”：[[2019,3,21]]，“日期-时间”：“2019-03-21T12:53:04Z”，“时间戳”：1553172784000}，“分数”：1，“资源”：{“主要”：{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/0304397586901775”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1986]]}，”references-count“：32，”alternative-id“：[”030439758601775“]，“URL”：“http://\/dx.doi.org\/101016\/0304-3975（86）90177-5”，“relation”：{}，N“：[”0304-3975“]，”ISSN-type“：[{”value“：”0304-975“，”type“:”print“}]，”subject“：[]，“published”：{“date-parts”：[[1986]]}}