close
1.

図書

図書
Javier Esparza, Charles Lakos (eds.)
出版情報: Berlin : Springer, c2002  x, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2360
所蔵情報: loading…
2.

図書

図書
José-Manuel Colom, Maciej Koutny (eds.)
出版情報: Berlin : Springer, c2001  xii, 401 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2075
所蔵情報: loading…
3.

図書

図書
Gianfranco Ciardo, Phillippe Darondeau (eds.)
出版情報: Berlin : Springer, c2005  xi, 474 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3536
所蔵情報: loading…
4.

図書

図書
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
5.

図書

図書
Wolfgang Reisig, Grzegorz Rozenberg (eds.)
出版情報: Berlin ; New York : Springer, c1998  2 v. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1491-1492
所蔵情報: loading…
6.

図書

図書
Susanna Donatelli, P.S. Thiagarajan (eds.)
出版情報: Berlin : Springer, c2006  xi, 440 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4024
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Invariant Based Programming / Ralph-Johan Back
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer
Component Tools: Integrating Petri Nets with Other Formal Methods / Ekkart Kindler ; Vladimir Rubin ; Robert Wagner
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development / Jianli Xu
Full Papers
Compensation in Workflow Nets / Baver Acu ; Wolfgang Reisig
The Synthesis Problem of Netcharts / Nicolas Baudru ; Remi Morin
Non-sequential Behaviour of Dynamic Nets / Roberto Bruni ; Hernan Melgratti
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets / Thomas Chatain ; Claude Jard
On the Computation of Stubborn Sets of Colored Petri Nets / Sami Evangelista ; Jean-Francois Pradat-Peyre
On the Construction of Pullbacks for Safe Petri Nets / Eric Fabre
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis / David Gilbert ; Monika Reiner
How Expressive Are Petri Net Schemata? / Andreas Glausch
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets / Serge Haddad ; Lynda Mokdad ; Patrice Moreaux
Nested Nets for Adaptive Systems / Kees M. van Hee ; Irina A. Lomazova ; Olivia Oanea ; Alexander Serebrenik ; Natalia Sidorova ; Marc Voorhoeve
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets / Meuse N.O. Junior ; Silvino Neto ; Paulo Maciel ; Ricardo Lima ; Angela Ribeiro ; Raimundo Barreto ; Eduardo Tavares ; Frederico Braga
Infinite Process Semantics of Inhibitor Nets / H.C.M. Kleijn ; M. Koutny
Towards Synthesis of Petri Nets from Scenarios / Robert Lorenz ; Gabriel Juhas
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions / Spyros A. Reveliotis ; Jin Young Choi
On the Step Explosion Problem / Stephan Roch ; Karsten Schmidt
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets / Katrin Winkelmann ; Holger Luczak
Tool Papers
Can I Execute My Scenario in Your Net? VipTool Tells You! / Robin Bergenthum ; Jorg Desel
EXHOST-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets / Olivier Bonnet-Torres ; Patrice Domenech ; Charles Lesire ; Catherine Tessier
ArgoSPE: Model-Based Software Performance Engineering / Elena Gomez-Martinez
Petriweb: A Repository for Petri Nets / R. Goud ; R.D.J. Post ; J.M.E.M. van der Werf
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets / Jochen Stier ; Jens Jahnke ; Hausi Muller
The BRITNeY Suite Animation Tool / Michael Westergaard ; Kristian Bisgaard Lassen
Author Index
Invited Papers
Invariant Based Programming / Ralph-Johan Back
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer
7.

図書

図書
Jordi Cortadella, Wolfgang Reisig (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xi, 503 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3099
所蔵情報: loading…
8.

図書

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

図書

図書
Mogens Nielsen, Dan Simpson (eds.)
出版情報: Berlin : Springer, c2000  xi, 484 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1825
所蔵情報: loading…
10.

図書

図書
Wil van der Aalst, Eike Best (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xi, 508 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2679
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼