沃尔夫冈·雷西格 具有双面界面的组件的关联组合。 (英语) Zbl 1431.68081号 学报信息。 56,第3号,229-253(2019). 审核人:Jörg Desel(哈根) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Reisig},Acta Inf.56,No.3,229--253(2019;Zbl 1431.68081) 全文: 内政部
德塞尔,约格;哈维尔·埃斯帕尔扎;菲利普·霍夫曼 协商作为并发原语。 (英语) Zbl 1422.68168号 学报信息。 56,第2号,93-159(2019). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}等人,《学报》第56期,第2期,第93-159页(2019年;Zbl 1422.68168) 全文: 内政部 arXiv公司
保罗·巴尔丹;法比奥·加杜奇 Petri网是二元体:非确定性网络理论的新代数基础。 (英语) 兹伯利1417.68114 学报信息。 56,第1号,61-92(2019). 审核人:Jörg Desel(哈根) MSC公司:68问题85 18B20型 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}和\textit{F.Gadducci},《学报》第56期,第1期,第61-92页(2019年;Zbl 1417.68114) 全文: 内政部
伊贡博格尔;克劳斯·迪特·施韦 并发抽象状态机。 (英语) Zbl 1352.68176号 学报信息。 53,第5期,469-492(2016). 审核人:Tiit Riismaa(塔林) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{K.-D.Schewe},《信息学报》第53期,第5期,第469-492页(2016年;Zbl 1352.68176) 全文: 内政部
德塞尔,约格;科伦萨,哥尔基姆 Petri网的可观测活性。 (英语) Zbl 1319.68148号 学报信息。 52,编号2-3,153-174(2015). 审核人:安娜·拉布拉(罗马) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{G.Kílñnç},《学报》第52期,第2期,第3期,第153期,第174期(2015年;Zbl 1319.68148) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队 T系统的状态空间公理。 (英语) Zbl 1317.68129号 学报信息。 52,编号2-3,133-152(2015). 审核人:Jörg Desel(哈根) MSC公司:68问题85 第68季度10 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers},《学报》第52期,第2--3133-152号(2015;Zbl 1317.68129) 全文: 内政部
码头Kleijn;马西耶·库特尼;Marta Pietkiewicz-Koutny;格列泽戈兹·罗森贝格 布尔网的步语义。 (英语) Zbl 1272.68307号 学报信息。 50,第1期,15-39(2013).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}等人,《信息学报》50,第1期,第15-39页(2013年;Zbl 1272.68307) 全文: 内政部
克里斯蒂安·斯塔尔;沃尔特·福格勒 基于跟踪的服务语义保证了无死锁。 (英语) 兹比尔1277.68206 学报信息。 49,第2期,69-103(2012).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Stahl}和\textit{W.Vogler},《学报》第49期,第2期,第69-103页(2012年;Zbl 1277.68206) 全文: 内政部
王云和;焦、李 使用转移集序列划分Petri网的行为。 (英语) Zbl 1234.68311号 学报信息。 49,第1期,15-28(2012).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}和\textit{L.Jiao},《学报》第49期,第1期,第15--28页(2012;Zbl 1234.68311) 全文: 内政部
维克托·科门科;马克·谢弗;沃尔特·福格勒;拉尔夫·沃洛夫斯基 STG分解策略与展开相结合。 (英语) Zbl 1183.68125号 学报信息。 46,第6期,433-474(2009).MSC公司:68M99型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Khomenko}等人,《学报》第46期,第6期,第433--474页(2009年;Zbl 1183.68125) 全文: 内政部
罗兰·迈耶 微积分中的一种结构平稳性理论。 (英语) Zbl 1165.68053号 学报信息。 46,第2期,87-137(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer},Acta Inf.46,No.2,87-137(2009;Zbl 1165.68053) 全文: 内政部
汉娜·克劳代尔;法兰克·波默罗 M-nets:一项调查。 (英语) 兹比尔1178.68366 学报信息。 45,编号7-8,537-564(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}和\textit{F.Pommereau},《信息学报》第45期,第7--8537--564号(2008年;Zbl 1178.68366) 全文: 内政部 哈尔
吉勒·杰勒茨;让-弗朗索瓦·拉斯金;劳伦特·范·贝京 结构良好的语言。 (英语) Zbl 1119.68105号 学报信息。 44,编号3-4,249-288(2007).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Geeraerts}等人,《信息学报》第44期,第3-4249--288号(2007年;Zbl 1119.68105) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;马西耶·库特尼 递归和Petri网。 (英语) Zbl 1025.68055号 学报信息。 37,第11-12号,781-829(2001).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,《学报》第37期,第11--12、781--829号(2001年;Zbl 1025.68055) 全文: 内政部
卡斯滕·施密特 如何计算Petri网的对称性。 (英语) Zbl 0948.68123号 学报信息。 36,第7期,545-590(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Schmidt},Acta Inf.36,No.7,545--590(2000;Zbl 0948.68123) 全文: 内政部
最好的,艾克;沃伊切赫·沙克神父;理查德·霍普金斯。;汉娜·克劳代尔;伊丽莎白·佩尔兹 M网:高级Petri网代数,应用于并发编程语言的语义。 (英语) Zbl 0917.68160号 学报信息。 35,第10号,813-857(1998).MSC公司:68问题85 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,《信息学报》第35期,第10期,第813--857页(1998年;Zbl 0917.68160) 全文: 内政部
Yen、Hsu-Chun 优先级无冲突Petri网。 (英语) Zbl 0910.68150号 学报信息。 35,第8期,673-688(1998). 审核人:徐春燕(台北) MSC公司:68问题85 PDF格式BibTeX公司 XML格式 全文: 内政部
哈维尔·埃斯帕尔扎 无限状态并发系统模型检查的可判定性。 (英语) Zbl 0865.68046号 学报信息。 34,第2期,85-107(1997). 审核人:J.Esparza(慕尼黑) MSC公司:第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza},Acta Inf.34,No.2,85-107(1997;Zbl 0865.68046) 全文: 内政部
西北部Keesmaat。;H.C.M.克莱因。 基于网络的控制与理性控制:ITNC矢量语言与理性关系之间的关系。 (英语) Zbl 0865.68082号 学报信息。 34,第1期,23-57(1997). 审核人:H.C.M.Kleijn(莱顿) MSC公司:68问题85 第68季度10 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.W.Keesmat}和\textit{H.C.M.Kleijn},《学报》第34期,第1期,第23-57页(1997;Zbl 0865.68082) 全文: 内政部
罗伯特·斯隆。;买,乌戈 时间Petri网的约简规则。 (英语) Zbl 0858.68060号 学报信息。 33,第7期,687-706(1996).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.H.Sloan}和\textit{U.Buy},Acta Inf.33,No.7,687--706(1996;Zbl 0858.68060) 全文: 内政部
皮耶保罗·德加诺;何塞·梅塞盖尔;乌戈·蒙塔纳里 公理化网络计算和过程的代数。 (英语) Zbl 0849.68087号 学报信息。 33,第7期,641-667(1996).MSC公司:68问题85 18日第10天 PDF格式BibTeX公司 XML格式 全文: 内政部
罗宾·米尔纳 相互作用的微积分。 (英语) Zbl 0853.68123号 学报信息。 33,第8期,707-737(1996). 审核人:R.Milner(剑桥) MSC公司:68问题55 第68季度10 03B70号 68问题85 PDF格式BibTeX公司 XML格式 全文: 内政部
法尔科·鲍斯 关于具有静态优先级的Petri网的分析。 (英语) Zbl 0849.68086号 学报信息。 33,第7期,669-685(1996). 审核人:F.Bause(多特蒙德) MSC公司:68问题85 68平方米 60年第68季度 PDF格式BibTeX公司 XML格式 全文: 内政部
德塞尔,约格;沃尔夫冈·雷西格 Petri网的综合问题。 (英语) Zbl 0849.68085号 学报信息。 33,第4期,297-315(1996). 审核人:J.Desel(柏林) MSC公司:68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{W.Reisig},《学报参考》33,第4期,297--315(1996;Zbl 0849.68085) 全文: 内政部
埃里克·巴杜埃尔;菲利普·达伦多 跟踪网络和过程自动机。 (英语) Zbl 0831.68067号 学报信息。 32,第7期,647-679(1995).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Badouel}和\textit{P.Darondeau},《学报》第32期,第7期,第647--679页(1995年;Zbl 0831.68067) 全文: 内政部
雷蒙德·魔鬼队 一般递归Petri盒的S-不变分析。 (英语) Zbl 0827.68080号 学报信息。 32,第4131-345号(1995年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers},《学报参考》32,第4期,313--345(1995;Zbl 0827.68080)
卢德米拉·切尔卡索娃;Rodney R.豪厄尔。;路易斯·罗西尔(Louis E.Rosier)。 有界自稳定Petri网。 (英语) Zbl 0826.68084号 学报信息。 189-207年第3号第32页(1995年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cherkasova}等人,《信息学报》32,第3期,189--207(1995;Zbl 0826.68084) 全文: 内政部
彭、吴旭;普鲁索塔曼,S。 一类通信有限状态机的分析。 (英语) Zbl 0790.68042号 学报信息。 29,第6-7号,499-522(1992). 审核人:W.Peng(圣马科斯/德克萨斯州) MSC公司:第68季度10 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{W.Peng}和\textit{S.Purushothaman},《情报法》第29卷,第6-7期,第499-522页(1992年;Zbl 0790.68042) 全文: 内政部
最好的,艾克;雷蒙德·魔鬼队;阿斯特里德·基恩;露西娅·波梅尔 Petri网中的并发互模拟。 (英语) Zbl 0718.68034号 学报信息。 28,第3期,231-264页(1991年). 审核人:A.Maggiolo-Schettini(比萨) MSC公司:2005年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,《学报》第28期,第3期,第231--264页(1991年;Zbl 0718.68034) 全文: 内政部
约斯特·恩格尔弗里特 Petri网的分支过程。 (英语) Zbl 0743.68106号 学报信息。 28,第6号,575-591(1991).MSC公司:68问题85 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},Acta Inf.28,No.6,575--591(1991;Zbl 0743.68106) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 部分(组)2-结构。二: 并发系统的状态空间。 (英语) Zbl 0696.68083号 学报信息。 27,第4期,343-368(1990).MSC公司:68问题85 68兰特 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},《学报》第27卷第4期,第343--368页(1990年;Zbl 0696.68083) 全文: 内政部
A.埃伦菲赫特。;G.罗森伯格。 部分(组)2-结构。一: 基本概念和表示问题。 (英语) Zbl 0696.68082号 学报信息。 27,第4号,315-342(1990).MSC公司:68问题85 68兰特 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},《情报法》第27卷,第4期,第315-342页(1990年;Zbl 0696.68082) 全文: 内政部
劳伦特·皮埃尔;西尔维安·施维尔(Sylviane R.Schwer)。 向量加法系统语言的有理索引。 (英语) Zbl 0679.68143号 学报信息。 26,第6号,503-525(1989).MSC公司:65年第68季度 68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Pierre}和\textit{S.R.Schwer},《学报》第26期,第6期,第503--525页(1989年;Zbl 0679.68143) 全文: 内政部
沃尔特·福格勒 模块化Petri网的故障语义和死锁。 (英语) Zbl 0642.68109号 学报信息。 26,第4期,333-348(1989). 审核人:W.福格勒 MSC公司:68问题85 60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler},《学报》第26期,第4期,第333--348页(1989年;Zbl 0642.68109)
皮耶保罗·德加诺;洛科·德尼古拉;乌戈·蒙塔纳里 基于条件/事件系统的CCS分布式操作语义。 (英语) Zbl 0656.68061号 学报信息。 26,编号1-2,59-91(1988).MSC公司:68问题85 第68页第25页 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人,《信息学报》第26期,第1--2、59-91号(1988年;Zbl 0656.68061) 全文: 内政部
约翰·赖夫(John H.Reif)。;斯科特·斯莫尔卡。 分布式通信过程中可达性的复杂性。 (英语) Zbl 0637.68032号 学报信息。 25,第3期,333-354(1988).MSC公司:第68页第25页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Reif}和\textit{S.A.Smolka},《学报》第25期,第3期,第333--354页(1988;Zbl 0637.68032) 全文: 内政部
罗伯特·盖斯特;马克·斯莫特曼;特里维迪,基索;Joanne Bechta杜根 生命关键型计算机系统的可靠性。 (英语) Zbl 0602.68009号 学报信息。 23, 621-642 (1986).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Geist}等人,《信息学报》23,621--642(1986;Zbl 0602.68009) 全文: 内政部
鲁迪盖·瓦尔克;马蒂亚斯·詹岑 向量集的剩余及其在Petri网可判定性问题中的应用。 (英语) Zbl 0545.68051号 学报信息。 21, 643-674 (1985).MSC公司:68问题85 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Valk}和\textit{M.Jantzen},《信息学报》21,643--674(1985;Zbl 0545.68051) 全文: 内政部
恩斯特·梅尔 向量替换系统的持久性是可判定的。 (英语) Zbl 0454.68048号 学报信息。 15, 309-318 (1981).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Mayr},《信息学报》15,309--318(1981;Zbl 0454.68048) 全文: 内政部