×

Petri网讲座。1:基本模型。Petri网的进展。 (英语) Zbl 0903.00072号

计算机科学课堂讲稿. 1491. 柏林:斯普林格。xii,683页(1998年)。

将索引文章显示为搜索结果。

对数学感兴趣的文章将单独复习。
索引文章:
格列泽戈茨·罗岑贝格(Grzegorz Rozenberg);约斯特·恩格尔弗里特,基本网络系统,12-121[Zbl 0926.68082号]
德塞尔,约格;沃尔夫冈·雷西格,放置/转移Petri网,122-173[Zbl 0926.68083号]
埃纳尔·史密斯《高级网络理论原理》,174-210[Zbl 0926.68084号]
德塞尔,约格,位置/过渡网的基本线性代数技术,257-308[Zbl 0926.68085号]
曼努埃尔·席尔瓦;Enrique Teruel;乔斯·曼纽尔·科罗姆,用于分析地点/过渡网系统的线性代数和线性规划技术,309-373[Zbl 0926.68086号]
哈维尔·埃斯帕尔扎Petri网问题的可判定性和复杂性。简介,374-428[Zbl 0926.68087号]
埃里克·巴杜埃尔;菲利普·达伦多,区域理论,529-586[Zbl 0926.68088号]
尼尔森,莫根斯;弗拉迪米罗·萨松、Petri网和其他并发模型,587-642[Zbl 0926.68089号]
Thiagarajan,P.S。;杰斯珀·亨利克森。,线性时间时序逻辑的分布式版本:跟踪视角,643-681[Zbl 0934.03025号]

MSC公司:

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等

关键词:

Petri网;基本模型
PDF格式BibTeX公司 XML格式引用