<電子ブック>
Advances in Petri Nets 1985 / edited by Grzegorz Rozenberg
(Lecture Notes in Computer Science. ISSN:16113349 ; 222)
版 | 1st ed. 1986. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1986 |
本文言語 | 英語 |
大きさ | VIII, 500 p : online resource |
著者標目 | Rozenberg, Grzegorz editor SpringerLink (Online service) |
件 名 | LCSH:Computer networks FREE:Computer Communication Networks |
一般注記 | The signing of a contract — a tree-structured application modelled with petri net building blocks -- Checking properties of nets using transformations -- Petri nets and algebraic calculi of processes -- Fair controls and their realization -- Beta processes of C/E systems -- Synchronic distances in C/E systems -- Process periods and system reconstruction -- Guidelines on using net analysis techniques with large specifications -- Application of an extension of petri nets to modelization of control and production processes -- Making nets abstract and structured -- Petri net tools -- Projections of CE-systems -- Synchronic structure -- Safe states in Banker like resource allocation Problems -- Coordination technology and Petri nets -- Pascal semantics by a combination of denotational semantics and high-level petri nets -- On the invariants of coloured Petri Nets -- A logical formalism for the study of the finite behaviour of Petri nets -- Determination of a poset by its co-relation -- Some equivalence notions for concurrent systems. An overview -- Towards a comprehensive office model integrating information and resources -- Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs -- Protocol analysis using Numerical Petri Nets -- Petri nets, morphisms and compositionality -- M-timed Petri nets, priorities, preemptions, and performance evaluation of systems HTTP:URL=https://doi.org/10.1007/BFb0016202 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540398226 |
|
電子リソース |
|
EB00225054 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:TK5105.5-5105.9 DC23:004.6 |
書誌ID | 4001088863 |
ISBN | 9783540398226 |