库尔特·劳滕巴赫
人员信息
附属: 德国科布伦茨和兰道大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 [第19条] 库尔特·劳滕巴赫 :
传播网络。 Petri网 2014 : 1-19 2011 [j6] 库尔特·劳滕巴赫 , 亚历山大·平尔 :
贝叶斯消息流的Petri网表示:贝叶斯网络对生物应用的重要性。 自然计算。 10 ( 2 ) : 683-709 ( 2011 )
2000 – 2009
2003 [第18条] 库尔特·劳滕巴赫 :
逻辑推理和Petri网。 ICATPN公司 2003 : 276-295 2002 [第17条] 库尔特·劳滕巴赫 :
空标记的再现性。 ICATPN公司 2002 : 237-253 [第16条] 库尔特·劳滕巴赫 , 约尔格·穆勒 , 斯蒂芬·菲利普 :
Petri-Netz-Tool POSEIDON建模、仿真与分析。 承诺 2002 : 163-174
1990 – 1999
1999 [第15条] 鲁道夫·J·克鲁斯 , 库尔特·劳滕巴赫 :
约束满足mit Petri-Netzen。 AWPN公司 1999 1998 [第14条] 汉斯·迈克尔·哈尼什 , 简·蒂姆 , 库尔特·劳滕巴赫 , 卡洛·西蒙 :
技术应用中的时间戳网络。 SMC公司 1998 : 119-124 1994 [j5] 拉尔夫·霍菲斯特 , 库尔特·劳滕巴赫 , 马库斯·洛夫勒 :
Zelldifferenzierung的车间建模。 昆士利希情报。 8 ( 1 ) : 39 ( 1994 ) [第13条] 库尔特·劳滕巴赫 , 汉诺·里德 :
T-不变量覆盖的有界Petri网的活性。 Petri网的理论与应用 1994 : 358-375 1991 [第12条] 迈克尔·达尔 , 库尔特·劳滕巴赫 :
Petri-Netz-Darstellung von Deduktiven Datenbanken。 格兰德拉赫·冯·达滕班肯 1991 : 16-22
1980 – 1989
1986 [第11条] 库尔特·劳滕巴赫 :
位置/转移网的线性代数技术。 Petri网的研究进展 1986 : 142-167 1985 [第10条] G.比较 , 盖塔诺·奥雷利奥·兰扎隆 , 库尔特·劳滕巴赫 , 阿纳斯塔西亚·帕格诺尼 , W.潘泽里 , A.托尔加诺 :
使用大规格网络分析技术的指南。 Petri网的应用与理论 1985 : 142-161 1984 【j4】 库尔特·劳滕巴赫 , 阿纳斯塔西亚·帕格诺尼 :
关于各种高级Petri网及其不变量。 牛市。 EATCS公司 23 : 42-58 ( 1984 ) 【c9】 库尔特·劳滕巴赫 , 阿纳斯塔西亚·帕格诺尼 :
标记类谓词/转移网络中的活性和对偶性。 欧洲Petri网应用和理论研讨会 1984 : 331-352 1982 [j3] 沃纳·E·克鲁格 , 库尔特·劳滕巴赫 :
竞争通道进程之间内存访问冲突的有序解决。 IEEE传输。 计算机 31 ( 三 ) : 194-207 ( 1982 ) 【c8】 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 :
谓词/转换网中的S-不变性。 欧洲Petri网应用和理论研讨会 1982 : 98-111 1981 [注2] 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 :
用高级Petri网进行系统建模。 西奥。 计算。 科学。 13 : 109-136 ( 1981 ) 1980 【c7】 沃纳·E·克鲁格 , 库尔特·劳滕巴赫 :
Kombinatorische Beschreibung und Lösung von Organisations问题。 ARCS公司 1980 : 178-193 【c6】 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 , P.S.Thiagarajan先生 :
替代系统-一系列基于并发的系统模型。 MFCS公司 1980 : 698-723
1970 – 1979
1979 【c5】 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 , P.S.Thiagarajan先生 :
一般网络理论的要素。 高级课程:网络理论与应用 1979 : 21-163 【c4】 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 :
用谓词分析分布式系统? 过渡网络。 并发计算的语义 1979 : 123-147 1978 【c3】 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 :
现有事实/过渡网络。 MFCS公司 1978 : 213-231 1976 【c2】 库尔特·劳滕巴赫 , 霍斯特·F·韦德 :
通过限制生成控制机制。 MFCS公司 1976 : 416-422 1974 【c1】 库尔特·劳滕巴赫 , 汉斯·阿尔布雷赫特·施密德 :
用Petri网证明并发过程系统的正确性。 IFIP大会 1974 : 187-191 1973 [j1] 哈特曼·J·根里奇 , 库尔特·劳滕巴赫 :
同步图。 信息学学报 2 : 143-161 ( 1973 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)