close
1.

図書

図書
Jörg Desel, Manuel Silva (eds.)
出版情報: Berlin : Springer, c1998  viii, 384 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1420
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Petri Nets as Token Objects - An Introduction to Elementary Object Nets / R. Valk
Synchronized Products of Transition Systems and Their Analysis / A. Arnold
Manual and Automatic Exploitation of Symmetries in SPN Models / G. Chiola
Full Papers
Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models / M. Ajmone Marsan ; C.-F. Chiasserini ; A. Fumagalli
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems / J. Ezpeleta ; F. Garc'ia-Vallés ; J.M. Colom
Modelling and Model Checking of Distributed Shared Memory Consistency Protocol / K. Fisler ; C. Girault
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding / L.M. Kristensen ; A. Valmari
On Stubborn Sets in the Verification of Linear Time Temporal Properties / K. Varpaaniemi
A Compositional Petri Net Semantics for SDL / H. Fleischhack ; B. Grahlmann
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus / M. Hesketh ; M. Koutny
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments / E. Bihler ; W. Vogler
Thinking in Cycles / M.-O. Stehr
Iterative Decomposition and Aggregation of Labeled GSPNs / P. Buchholz
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking / M. Gribaudo ; M. Sereno
Deadlock Detection in the Face of Transaction and Data Dependencies / E. Bertino ; L.V. Mancini
Petri Net Based Certification of Event-Driven Process Chains / P. Langner ; Chr. Schneider ; J. Wehler
M-net Calculus Based Semantics for Triggers / V. Benzaken ; N. Hugon ; H. Klaudel ; E. Pelz ; R.-C. Riemann
SWN Analysis and Simulation of Large Knockout ATM Switches / R. Gaeta
Flexibility in Algebraic Nets / E. Kindler ; H. Völzer
ESTL: A Temporal Logic for Events and States / T. Vesper
Author Index
Invited Papers
Petri Nets as Token Objects - An Introduction to Elementary Object Nets / R. Valk
Synchronized Products of Transition Systems and Their Analysis / A. Arnold
2.

図書

図書
Susanna Donatelli, Jetty Kleijn (eds.)
出版情報: Berlin : Springer, c1999  viii, 423 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1639
所蔵情報: loading…
3.

図書

図書
Pierre Azéma, Gianfranco Balbo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1248
所蔵情報: loading…
4.

図書

図書
Jonathan Billington, Wolfgang Reisig (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1091
所蔵情報: loading…
5.

図書

図書
Giorgio de Michelis, Michel Diaz (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995  viii, 509 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 935
所蔵情報: loading…
6.

図書

図書
Robert Valette (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 587 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 815
所蔵情報: loading…
7.

図書

図書
Marco Ajmone Marsan (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  ix, 591 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 691
所蔵情報: loading…
8.

図書

図書
G. Rozenberg, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  viii, 572 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 524
所蔵情報: loading…
9.

図書

図書
Grzegorz Rozenberg, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vi, 515 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 483
所蔵情報: loading…
10.

図書

図書
K. Jensen, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992  398 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 616
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼