<電子ブック>
Advances in Petri Nets 1991 / edited by Grzegorz Rozenberg
(Lecture Notes in Computer Science. ISSN:16113349 ; 524)
版 | 1st ed. 1991. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1991 |
本文言語 | 英語 |
大きさ | VIII, 576 p : online resource |
著者標目 | Rozenberg, Grzegorz editor SpringerLink (Online service) |
件 名 | LCSH:Computer science LCSH:Computer networks LCSH:Mathematics LCSH:Algorithms LCSH:Microprocessors LCSH:Computer architecture FREE:Theory of Computation FREE:Computer Communication Networks FREE:Applications of Mathematics FREE:Algorithms FREE:Computer Science Logic and Foundations of Programming FREE:Processor Architectures |
一般注記 | Delays in synchronized elementary net systems -- Proving temporal properties of Petri nets -- The complexity of testing the equivalence of transition sequences -- Use of reentrant nets in modular analysis of colored nets -- On abstractions of nets -- Semantics, composition and net properties of algebraic high-level nets -- Top-down synthesis of live and bounded free choice nets -- Hood nets -- Distributable nets -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability graphs -- An integrated software development methodology based on hierarchical colored Petri nets -- On net systems generated by process foldings -- On liveness preservation by composition of nets via a set of places -- Software implementation of petri nets and compilation of rule-based systems -- Bibliography of Petri nets 1990 The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant for the development of the area. Thepapers for the volumes are drawn mainly from the annual International Conferences on Applications and Theory of Petri Nets. Selected papers from the latest conference are independently refereed, and revised and extended as necessary. Some further papers submitted directly to the editor are included. Advances in Petri Nets 1991 covers the 11th International Conference on Applications and Theory of Petri Nets held in Paris, France in June 1991. The volume contains the Bibliography of Petri Nets 1990 prepared by H. Pl}nnecke and W. Reisig, with over 4000 entries HTTP:URL=https://doi.org/10.1007/BFb0019965 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540476009 |
|
電子リソース |
|
EB00225221 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA75.5-76.95 DC23:004.0151 |
書誌ID | 4001089995 |
ISBN | 9783540476009 |