close
1.

図書
図書
1. Applications and theory of Petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001 : proceedings
José-Manuel Colom, Maciej Koutny (eds.)
出版情報: Berlin : Springer, c2001  xii, 401 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2075
所蔵情報: loading…
2.

図書
図書
2. Application and theory of Petri Nets 2000 : 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 : proceedings
Mogens Nielsen, Dan Simpson (eds.)
出版情報: Berlin : Springer, c2000  xi, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1825
所蔵情報: loading…
3.

図書
図書
3. Application and theory of Petri nets 1998 : 19th International Conference, ICATPN'98, Lisbon, Portugal, June 22-26, 1998 : proceedings
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
4.

図書
図書
4. Application and theory of Petri nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings
Pierre Azéma, Gianfranco Balbo (eds.)
出版情報: Berlin ; Tokyo : Springer, c1997  viii, 466 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1248
所蔵情報: loading…
5.

図書
図書
5. Application and theory of Petri nets 1996 : 17th International Conference, Osaka, Japan, June 24-28, 1996 : proceedings
Jonathan Billington, Wolfgang Reisig (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 548 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1091
所蔵情報: loading…
6.

図書
図書
6. Application and theory of Petri nets 1995 : 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings (: us ; : gw)
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…
7.

図書
図書
7. Application and theory of Petri nets 1992 : 13th International Conference, Sheffield, UK, June 22-26, 1992 : proceedings (: gw ; : us)
K. Jensen, ed
出版情報: Berlin ; New York : Springer-Verlag, c1992  398 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 616
所蔵情報: loading…
8.

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

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

図書
図書
10. Application and theory of Petri nets 1994 : 15th International Conference, Zaragoza, Spain, June 20-24, 1994 : proceedings (: us ; : gw)
Robert Valette (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  ix, 587 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 815
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼