伯恩德·罗森斯坦格尔;乌多·温兰德 彼得里·内泽。Eine anwendungssorienterte Einführung。第二章，erg.und verbess。澳大利亚。 （德语） 兹比尔0611.68038 Angewandte Informatik项目。布伦瑞克/威斯巴登：弗里德。维埃格·桑恩（Vieweg&Sohn）。十五、 169 S。；DM 32.00（1983）。MSC公司：68问题85 68-01 90-01 90B05型 PDF格式BibTeX公司 XML格式
H.J.M.戈曼。;格罗尼韦根，L.P.J。;H.C.M.克莱因。;G.罗森伯格。 约束Petri网。二、。泛化和扩展。 （英语） Zbl 0582.68031号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 6, 333-374 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.J.M.Goeman}等人，Ann.Soc.数学。政策。，序列号。四、 芬丹。Inf.6，333--374（1983；Zbl 0582.68031）
H.J.M.戈曼。;格罗尼韦根，L.P.J。;H.C.M.克莱因。;G.罗森伯格。 受约束的Petri网。 （英语） Zbl 0582.68030号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 6, 81-125 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.J.M.Goeman}等人，Ann.Soc.数学。政策。，序列号。四、 芬丹。Inf.6，81--125（1983；Zbl 0582.68030）
芬克尔，A。 用有限自动机实现Petri网的同步。 （英语） Zbl 0582.68029号 《软件技术和理论计算机科学基础》，第三届Conf.，印度班加罗尔，1983年，593-609（1983）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式
罗岑布卢姆，L.Ya。 Petri网。 （英语。俄文原件） Zbl 0576.90028号 工程师Cybern。 21,5号，19-43（1983年）; Izv的翻译。阿卡德。Nauk SSSR Tekh公司。基伯恩。1983年，第5期，第12-40页（1983年）。MSC公司：90B10型 68平方米 68兰特 90B35型 68N25号 90-02 PDF格式BibTeX公司 XML格式引用 \textit{L.Ya.Rozenblyum}，工程师Cybern。21,5号，19-43（1983；Zbl 0576.90028）；Izv的翻译。阿卡德。Nauk SSSR Tekh公司。基伯恩。1983年，第5期，第12-40期（1983年）
吕迪格·瓦尔克 Petri网的无限行为。 （英语） Zbl 0559.68057号 西奥。计算。科学。 25, 311-341 (1983)。 审核人：H.Müller先生 MSC公司：68问题85 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Valk}，Theor。计算。科学。25311--341（1983年；Zbl 0559.68057） 全文： 内政部
C.M.劳希特。 向量替换系统和Petri网的立方体表示法的一些性质。 （英语） Zbl 0551.68053号 数值数学与计算。第十二届马尼托巴会议，温尼伯/马尼特。1982年，国会。数字38，97-125（1983）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式
德普，克莱门斯 Ein Satzüber自由选择。 （德语） 兹伯利0551.68052 Elektron公司。通知-藜芦。凯伯内提克 19, 107-113 (1983)。 审核人：L.普莱斯 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Döpp}，Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19，107--113（1983；Zbl 0551.68052）
德普，克莱门斯 Zum Hackschen Wohlformungssatz für Free-Choice-Petrinetze（祖姆·哈克申·沃尔福蒙萨茨）。 （德语） Zbl 0551.68051号 Elektron公司。通知-藜芦。凯伯内提克 19, 3-15 (1983)。 审核人：L.普莱斯 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Döpp}，Elektron。Informationsonsurrabeitung Kybernetik基伯内蒂克信息19，3--15（1983；Zbl 0551.68051）
美国高尔茨。;Reisig，W。 Petri网的非顺序行为。 （英语） 兹伯利0551.68050 Inf.控制 57, 125-147 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Goltz}和\textit{W.Reisig}，Inf.Control 57，125--147（1983；Zbl 0551.68050） 全文： 内政部
沃尔夫冈·雷西格 使用Petri网进行系统设计。 （英语） Zbl 0549.68056号 需求工程，Arbeitstag。GI，Friedrichshafen 1983年，Inf.-Fachber。74, 31-41 (1983).MSC公司：68问题85 68N99型 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 关于分布式系统的并发性。 （英语） Zbl 0546.68040号 研讨会。，洪堡大学（Sekt.Berlin）。数学。 52, 133-142 (1983)。 审核人：H.保险丝 MSC公司：68问题85 65年第68季度 93B17号机组 93A10号 05C99年 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke}，研讨会。，洪堡大学（Sekt.Berlin）。数学。52、133--142（1983年；Zbl 0546.68040）
G.罗森伯格。;R·弗拉埃特。 Petri网的子集语言。二、。闭包属性。 （英语） 兹比尔0545.68070 西奥。计算。科学。 27, 85-108 (1983)。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}和\textit{R.Verraedt}，Theor。计算。科学。27、85——108（1983年；Zbl 0545.68070） 全文： 内政部
吕迪格·瓦尔克 具备不受限制能力的事实到位/过渡网。 （英语） Zbl 0541.68036号 安理大学。布达普。罗兰多·Eötvös，Sect。计算。 4, 97-105 (1983)。 审核人：W.夸索维奇 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛R.Valk｝，安大学科学院。布达普。罗兰多·Eötvös，Sect。计算。4、97——105（1983年；Zbl 0541.68036）
普里塞·卢茨 自动化和并发。 （英语） Zbl 0541.68035号 西奥。计算。科学。 25, 221-265 (1983)。 审核人：W.夸索维奇 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Priese}，Theor。计算。科学。25、221--265（1983年；Zbl 0541.68035） 全文： 内政部
汉斯·沃纳·波尔 Petri网游戏。 （英语） Zbl 0539.68052号 Elektron公司。通知-藜芦。凯伯内提克 19, 235-244 (1983)。 审核人：F.凹槽 MSC公司：68问题85 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{H.W.Pohl}，Elektron公司。Informationsverarbeitung Kybernetik基伯内蒂克信息19，235--244（1983；Zbl 0539.68052）
林卓英 计算机安全的Petri网模型。 （英语） Zbl 0539.68051号 牛市。数学研究所。，阿卡德。罪。 11, 439-457 (1983)。 审核人：R.Janicki公司 MSC公司：68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Y.Lin}，公牛。数学研究所。，阿卡德。罪。11、439--457（1983年；Zbl 0539.68051）
瓦尔科夫斯基。;科托夫，V.E。;A.G.马楚克。;北卡罗来纳州米伦科夫。 并行编程的要素。（Ehlementy parallel’nogo programmerovaniya）。 （俄语） Zbl 0534.68007号 莫斯科：Izdatel“Svyaz电台”。240页（1983年）。 审核人：M.弗鲁姆金 MSC公司：68-01 68新元 68N25号 PDF格式BibTeX公司 XML格式
彼得·斯塔克。 Petri网过程的图形语法。 （英语） Zbl 0533.68064号 Elektron公司。通知-藜芦。凯伯内提克 19, 199-233 (1983)。 审核人：R.Janicki公司 MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Starke}，Elektron。Informationsverarbeitung Kybernetik基伯内蒂克信息19，199--233（1983；Zbl 0533.68064）
彼得·斯塔克 多处理器系统及其并发性。 （英语） Zbl 0533.68063号 准备。，德国柏林洪堡大学Neue Folge。，Sekt.系列。数学。第62、29页（1983年）。 审核人：W.夸索维奇 MSC公司：68问题85 2005年第68季度 68N25号 PDF格式BibTeX公司 XML格式
G.罗森伯格。;R·弗拉埃特。 Petri网的子集语言。一： 与字符串语言和正常形式的关系。 （英语） Zbl 0531.68029号 西奥。计算。科学。 26301-326（1983年）。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}和\textit{R.Verraedt}，Theor。计算。科学。26301-326（1983年；Zbl 0531.68029） 全文： 内政部
汉斯·迪特·伯克哈德 有限自动机对Petri网的控制。 （英语） Zbl 0531.68014号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 6, 185-215 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Burkhard}，安.社会数学。政策。，序列号。四、 芬丹。Inf.6，185--215（1983；Zbl 0531.68014）
汉斯·福斯 使用位置转换器网络进行反向模拟。 （英语） Zbl 0529.68078号 系统的充分建模，Proc。内部配置，Bad Honnef/Ger。1982, 222-232 (1983).MSC公司：68岁20岁 68问题85 93A05型 83个B05 08A05号 PDF格式BibTeX公司 XML格式
阿列克桑德拉·斯卡宾斯卡 关于标记Petri网的一些定义及其语言。 （波兰语） Zbl 0526.68058号 波德斯特维·斯特罗瓦尼亚 13, 215-221 (1983)。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Skarbinska}，波德斯特维·斯特罗瓦尼亚13，215--221（1983；Zbl 0526.68058）
乔泽夫·温科夫斯基 Petri网的分布式实现。 （英语） Zbl 0525.68036号 Pr.Inst.Podstaw Inf.Pol.公司。阿卡德。Nauk 518，52页（1983年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式
扎克列夫斯基。 逻辑控制并行算法正确性测试的简化方法。 （俄语） Zbl 0525.68018号 多克。阿卡德。瑙克BSSR 27, 617-619 (1983)。MSC公司：68瓦99 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Zakrevskij}，Dokl。阿卡德。诺克BSSR 27，617--619（1983；Zbl 0525.68018）
瓦莱特，R。;库瓦西耶，M。;Mayeux，D。 柔性生产系统和Petri网的控制。 （英语） Zbl 0523.90045号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 264-277 (1983).MSC公司：90B30型 65年第68季度 68单位99 PDF格式BibTeX公司 XML格式
美国戈尔茨。;赖西格，W。 地点/过渡网的过程。 （英语） Zbl 0523.68046号 《自动化、语言和编程》，第十届Colloq.，巴塞罗那/西班牙，1983年，Lect。注释计算。科学。154, 264-277 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
哈特穆特·埃里格 图文法中的并发方面。 （英语） Zbl 0522.68070号 图文法及其在计算机科学中的应用，第二国际研讨会，Haus Ohrbeck/Ger。1982年，勒克特。注释计算。科学。153, 58-81 (1983).MSC公司：65年第68季度 68问题85 68第05页 68N25号 68-02 PDF格式BibTeX公司 XML格式
莫滕·昆 用基于Petri网的语言描述和验证网络。 （英语） Zbl 0522.68019号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 181-198 (1983).MSC公司：60年第68季度 68号01 68问题85 PDF格式BibTeX公司 XML格式
北卡罗来纳州汉森。;马德森，K.H。 形式语义由指称语义和高级Petri网组合而成。 （英语） Zbl 0522.68018号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 132-148 (1983).MSC公司：60年第68季度 68问题85 68问题55 PDF格式BibTeX公司 XML格式
G.罗森伯格。;R·弗拉埃特。 Petri网的子集语言。 （英语） Zbl 0521.68089号 Petri网的应用和理论。巴普。第三届欧洲研讨会，瓦伦纳/意大利，1982年，Inf.-Fachber。66, 250-263 (1983).MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式
迈克尔·尤利;图维·埃齐翁 并发系统的行为等效。 （英语） Zbl 0521.68060号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 292-305 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
F.德辛迪奥。;德米歇利斯，G。;波梅尔，L。;C·西蒙。 米尔纳的通信系统和Petri网。 （英语） Zbl 0521.68059号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 40-59 (1983).MSC公司：68问题85 68N25号 PDF格式BibTeX公司 XML格式
赖西格，W。 带有单个令牌的Petri网。 （英语） Zbl 0521.68057号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 229-249 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
库尔特·延森 高级Petri网。 （英语） Zbl 0521.68056号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 166-180 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
库瓦西耶，M。 广义Petri网的基于矩阵的实现。 （英语） Zbl 0521.68053号 Petri网的应用和理论。巴普。第三。欧洲研讨会，瓦伦纳/意大利，1982年，Inf.-Fachber。66, 60-73 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
普里诺，Rainer 从无循环有限自动机构建分布式系统。 （英语） Zbl 0521.68052号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 199-220 (1983).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
马蒂亚斯·詹岑;亨德里克·布兰霍夫 Petri网的可计算性概念。 （英语） Zbl 0521.68042号 Petri网的应用和理论。巴普。第三届欧洲研讨会，意大利瓦伦纳，1982年，Inf.-Fachber。66, 149-165 (1983).MSC公司：03D60年 68问题85 03D20日 PDF格式BibTeX公司 XML格式
巴瑟尔特，P。;F.霍夫曼。 两种Petri网类型的比较。 （英语） Zbl 0518.68035号 计算 31, 141-148 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Bathelt}和\textit{F.Hofmann}，计算31，141--148（1983；Zbl 0518.68035） 全文： 内政部
B.克莱默。;施密特，H.W。 用于组织系统逐步建模的高级网络语言。 （英语） Zbl 0518.68024号 系统的充分建模，程序。内部配置，Bad Honnef/Ger。1982, 156-170 (1983).MSC公司：68N99型 PDF格式BibTeX公司 XML格式
Genrich，H.J。;詹森，D。;G.罗森伯格。;蒂亚加拉扬，P.S。 Petri网及其与图文法的关系。 （英语） Zbl 0517.68064号 图文法及其在计算机科学中的应用，第二国际研讨会，Haus Ohrbeck/Ger。1982年，勒克特。注释计算。科学。153, 115-129 (1983).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式
米科拉扎克（Mikolajczak，Boleslaw） 关于Petri网中一些问题的计算复杂性。 （英语） Zbl 0515.90046号 方法操作。物件。 45, 481-492 (1983)。MSC公司：90B35型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Mikolajczak}，方法操作。第45号决议，第481--492号决议（1983年；Zbl 0515.90046）
铃木，一郎;大岛村田 一种逐步细化和抽象Petri网的方法。 （英语） Zbl 0515.68051号 J.计算。系统。科学。 27, 51-76 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.铃木}和\textit{T.村田}，J.计算机。系统。科学。27、51--76（1983年；Zbl 0515.68051） 全文： 内政部
库拉汉，詹姆斯·E·琼。;尼古拉斯·鲁索普洛斯 使用增广Petri网的时间驱动系统的时间要求。 （英语） Zbl 0514.68060号 IEEE传输。软件工程。 9, 603-616 (1983)。MSC公司：68问题85 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.E.Coolahan jun.}和\textit{N.Roussopoulos}，IEEE Trans。柔和。工程9，603--616（1983；Zbl 0514.68060） 全文： 内政部
罗伯特·纳尔逊（Robert A.Nelson）。;Lois M.Haibt。;Peter B.Sheridan。 将Petri网投射到程序中。 （英语） Zbl 0514.68030号 IEEE传输。软件工程。 9，590-602（1983年）。MSC公司：68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Nelson}等人，IEEE Trans。柔和。工程9，590--602（1983；Zbl 0514.68030） 全文： 内政部
沃纳·E·克鲁格。;海因茨施卢特 基于lambda表达式的应用程序评估的Petri网模型。 （英语） Zbl 0514.68009号 IEEE传输。软件工程。 9, 415-427 (1983)。MSC公司：68号01 60年第68季度 03B40型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.E.Kluge}和\textit{H.Schluetter}，IEEE Trans。柔和。工程编号9，415--427（1983；Zbl 0514.68009） 全文： 内政部
Genrich，H.J。;蒂亚加拉扬，P.S。 用于并发编程的格式良好的流程图。 （英语） Zbl 0513.68054号 编程概念的形式化描述II，Proc。IFIP Conf.，Garmisch-Partenkirchen 1982，357-382（1983）。MSC公司：68问题85 68N25号 PDF格式BibTeX公司 XML格式
图维·埃齐翁;迈克尔·尤利 超级网络及其层次结构。 （英语） Zbl 0512.68038号 西奥。计算。科学。 23, 243-272 (1983)。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Etzion}和\textit{M.Yoeli}，Theor。计算。科学。23243-272（1983年；兹bl 0512.68038） 全文： 内政部
施瓦特泽尔，H.G。 Allgemeine diskrete ereignis-dynamische Systeme als Modellierungsrahmen für komplexe Systeme公司。 （德语） Zbl 0511.68040号 西门子Forsch.-恩特威克隆斯贝尔。 12, 121-126 (1983)。MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.G.Schwartzel}，西门子Forsch.-恩特威克隆斯贝尔。121-126（1983年；Zbl 0511.68040）
汉斯·迪特·伯克哈德 关于并行的优先级：最大激发策略下的Petri网。 （英语） Zbl 0511.68039号 程序逻辑及其应用，Proc。交响乐团。，波兹南1980年，Lect。注释计算。科学。148，86-97（1983年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式
阿纳斯塔西亚·帕格诺尼（编辑）;格列泽戈兹·罗森贝格（编辑） Petri网的应用和理论。1982年9月27日至30日在意大利瓦伦纳举行的第三届Petri网应用和理论欧洲研讨会上的论文选集（由AFCET、AICA、GI和EATCS赞助）。 （英语） Zbl 0511.00031号 信息-Fachberichte，66。柏林等：Springer-Verlag。六、 315 p.39.00德国马克；$16.80 (1983).MSC公司：00亿Bxx 68-06 PDF格式BibTeX公司 XML格式
奥弗西茨，M.I。 Petri网等价标记的结构。 （俄语） Zbl 0508.68037号 伊兹夫。阿卡德。Nauk BSSR，序列号。菲兹-Mat.Nauk公司 1983年，第1期，113-115（1983）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.I.Ovseets}，Izv。阿卡德。Nauk BSSR，序列号。菲兹-Mat.Nauk 1983年，第1期，113--115（1983年；Zbl 0508.68037）
马戈蒂，简 Petri网的抽象。 （波兰语） Zbl 0508.68036号 波德斯特维·斯特罗瓦尼亚 13, 75-98 (1983)。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Magoti}，Podstawy Sterowania 13，75--98（1983；Zbl 0508.68036）
布拉姆斯，G.W。 佩特里：土耳其和土耳其。Tome 2：建模和应用。 （法语） Zbl 0508.68034号 巴黎等：马森。第160页（1983年）。MSC公司：68问题85 68-02 PDF格式BibTeX公司 XML格式
布拉姆斯，G.W。 [J.-C.劳尔。;Ch.安德烈。;伯特洛特，G。;Girault，C。;梅米，G。;鲁卡罗尔，G。;J.西法基斯。;Valette，R。;维达尔·纳奎特，G。] 佩特里之路：塞奥里和普拉蒂克。汤姆一：理论与分析。引言de J.-C.Rault。 （法语） Zbl 0501.68027号 巴黎等：马森。八、 184 p.FF 72.00（1983年）。MSC公司：68问题85 68-01 PDF格式BibTeX公司 XML格式
埃罗尔·盖伦贝 离散系统中的定常确定性流。一、。 （英语） Zbl 0498.68024号 西奥。计算。科学。 23, 107-127 (1983)。MSC公司：68平方米 68问题85 68N25号 68N99型 93个B07 PDF格式BibTeX公司 XML格式引用 \文本{E.Gelenbe}，Theor。计算。科学。23、107——127（1983年；Zbl 0498.68024） 全文： 内政部