<電子ブック>
Advances in Petri Nets 1993 / edited by Grzegorz Rozenberg
(Lecture Notes in Computer Science. ISSN:16113349 ; 674)
版 | 1st ed. 1993. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1993 |
本文言語 | 英語 |
大きさ | X, 462 p : online resource |
著者標目 | Rozenberg, Grzegorz editor SpringerLink (Online service) |
件 名 | LCSH:Computer systems LCSH:Computer science LCSH:Algorithms LCSH:Microprocessors LCSH:Computer architecture LCSH:Computer networks FREE:Computer System Implementation FREE:Theory of Computation FREE:Algorithms FREE:Computer Science Logic and Foundations of Programming FREE:Processor Architectures FREE:Computer Communication Networks |
一般注記 | Replacement of open interface subnets and stable state transformation equivalence -- Bounded self-stabilizing Petri nets -- Generative families of positive invariants in Coloured nets sub-classes -- Autonomous and timed continuous Petri nets -- The Devnet: A Petri net for discrete event simulation -- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets -- A concept of hierarchical Petri nets with building blocks -- Petri net tool overview 1992 -- The minimal coverability graph for Petri nets -- Distributed implementation of CCS -- Saturation conditions for Stochastic Petri Nets -- Marking optimization in timed event graphs -- Parameterized reachability trees for Predicate/Transition nets -- Iterative decomposition and aggregation of Stochastic marked graph Petri nets -- Constraints and extensions in a Calculus of EN systems -- Comparability orders and measurement -- Deterministic systems of sequential processes: A class of structured Petri nets -- Compositional state space generation The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research HTTP:URL=https://doi.org/10.1007/3-540-56689-9 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540476313 |
|
電子リソース |
|
EB00225392 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.9.S88 DC23:004.2 |
書誌ID | 4001090166 |
ISBN | 9783540476313 |