Application and Theory of Petri Nets 1995 : 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings. 1st ed. 1995
- 種類:
- 電子ブック
- 責任表示:
- edited by Giorgio DeMichelis, Michel Diaz
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 935
- ISBN:
- 9783540494089 [3540494081]
- 注記:
- A refined view of the box algebra -- Distributed algorithms and causally consistent observations (abstract) -- Petri Nets for information systems modelling -- On liveness in Extended Non Self-Controlling Nets -- An algebraic semantics for hierarchical P/T nets -- A Petri net based environment for the design of event-driven interfaces -- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets -- A class of composable high level Petri nets -- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets -- CAB: An environment for developing concurrent application -- A notion of equivalence for stochastic Petri nets -- Parallel state space exploration for GSPN models -- Modular state space analysis of coloured Petri Nets -- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning -- Symbolic reachability graph and partial symmetries -- Causal behaviours and nets -- From Coloure
This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |