close
1.

図書

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

図書

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

電子ブック

EB
Susanna Donatelli, Takeo Kanade, P. S. Thiagarajan
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: 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
4.

電子ブック

EB
Kurt Jensen, Susanna Donatelli, Takeo Kanade, Maciej Koutny
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets / Agata Pólrola ; Andrzej Zbrzezny
Parametric Model Checking with VerICS / Artur Niewiadomski
Schedule-Aware Workflow Management Systems / Ronny S. Mans ; Nick C. Russell ; Wil M.P. van der Aalst ; Arnold J. Moleman ; Piet J.M. Bakker
On-the-Fly Auditing of Business Processes / Kees van Hee ; Jan Hidders ; Geert-Jan Houben ; Jan Paredaens ; Philippe Thiran
Modeling Organizational Units as Modular Components of Systems of Systems / Matthias Wester-Ebbinghaus ; Daniel Moldt ; Michael Köhler-Bu?meier
A Multi-Agent Organizational Framework for Coevolutionary Optimization / Grégoire Danoy ; Pascal Bouvry ; Olivier Boissier
Author Index
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼