close
1.

電子ブック
ＥＢ
1. Transactions on Petri Nets and Other Models of Concurrency II
Kurt Jensen, Wil M. P. Aalst, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
A Look Around the Corner: The Pi-Calculus / Frank Puhlmann ; Mathias Weske
newYAWL: Towards Workflow 2.0 / Nick Russell ; Arthur H.M. ter Hofstede
A Formal Model for Organisational Structures behind Process-Aware Information Systems / Michael Kohler-Buβmeier ; Matthias Wester-Ebbinghaus ; Daniel Moldt
Flexibility in Process-Aware Information Systems / Manfred Reichert ; Stefanie Rinderle-Ma ; Peter Dadam
Business Grid: Combining Web Services and the Grid / Ralph Mietzner ; Dimka Karastoyanova ; Frank Leymann
Does My Service Have Partners? / Karsten Wolf
Deciding Substitutability of Services with Operating Guidelines / Christian Stahl ; Peter Massuthe ; Jan Bretschneider
A Framework for Linking and Pricing No-Cure-No-Pay Services / K.M. van Hee ; H.M.W. Verbeek ; C. Stahl ; N. Sidorova
Empirical Studies in Process Model Verification / Jan Mendling
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms / B.F. van Dongen ; A.K. alves de Medeiros ; L. Wen
Construction of Process Models from Example Runs / Robin Bergenthum ; Jorg Desel ; Sebastian Mauser ; Robert Lorenz
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments / Hong-Linh Truong ; Schahram Dustdar
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining / Federico Chesani ; Evelina Lamma ; Paola Mello ; Marco Montali ; Fabrizio Riguzzi ; Sergio Storari
Author Index
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
2.

電子ブック
ＥＢ
2. Transactions on Petri Nets and Other Models of Concurrency III
Kurt Jensen, Jonathan Billington, Takeo Kanade, Maciej Koutny
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Designing a Workflow System Using Coloured Petri Nets / Nick C. Russell ; Wil M.P. van der Aalst ; Arthur H.M. ter Hofstede
From Requirements via Coloured Workflow Nets to an Implementation in Several Workflow Systems / Ronny S. Mans ; Piet J.M. Bakker ; Arnold J. Moleman ; Kristian B. Lassen ; Jens B. Jørgensen
Soundness of Workflow Nets with Reset Arcs / Kees M. van Hee ; Arthur H.M. ter Hofstead ; Natalia Sidorova ; H.M.W. Verbeek ; Marc Voorhoeve ; Moe T. Wynn
Parameterised Coloured Petri Net Channel Models / Jonathan Billington ; Somsak Vanit-Anunchai ; Guy E. Gallasch
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol / Cong Yuan
Modelling Mobile IP with Mobile Petri Nets / Charles Lakos
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example / Fabien Bonnefoi ; Christine Choppy ; Fabrice Kordon
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection / Sami Evangelista ; Michael Westergaard ; Lars M. Kristensen
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language / Robin Bergenthum ; Jörg, Desel ; Sebastian Mauser
On Bisimulation Theory in Linear Higher-Order $-Calculus / Xian Xu
Author Index
Designing a Workflow System Using Coloured Petri Nets / Nick C. Russell ; Wil M.P. van der Aalst ; Arthur H.M. ter Hofstede
From Requirements via Coloured Workflow Nets to an Implementation in Several Workflow Systems / Ronny S. Mans ; Piet J.M. Bakker ; Arnold J. Moleman ; Kristian B. Lassen ; Jens B. Jørgensen
Soundness of Workflow Nets with Reset Arcs / Kees M. van Hee ; Arthur H.M. ter Hofstead ; Natalia Sidorova ; H.M.W. Verbeek ; Marc Voorhoeve ; Moe T. Wynn
3.

電子ブック
ＥＢ
3. Coloured Petri Nets
Kurt Jensen, Lars M. Kristensen
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Modeling and Validation of Concurrent Systems
Introduction to Modeling and Validation - / 1：
Non-Hierarchical Coloured Petri Nets - / 2：
CPN ML Programming - / 3：
Formal Definition of Non-Hierarchical Coloured Petri Nets - / 4：
Hierarchical Coloured Petri Nets - / 5：
Formal Definition of Hierarchical Coloured Petri Nets - / 6：
State Spaces and Behavioural Properties - / 7：
Advanced State Space Methods - / 8：
Formal Definition of State Spaces and Behavioural Properties - / 9：
Times Coloured Petri Nets - / 10：
Formal Definition of Timed Coloured Petri Nets - / 11：
Simulation-Based Performance Analysis - / 12：
Behavioural Visulization - / 13：
Examples of Industrial Applications - / 14：
Teaching Coloured Petri Nets / 15：
Modeling and Validation of Concurrent Systems
Introduction to Modeling and Validation - / 1：
Non-Hierarchical Coloured Petri Nets - / 2：
4.

電子ブック
ＥＢ
4. Coloured Petri Nets
Kurt Jensen, Lars M. Kristensen
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Modeling and Validation of Concurrent Systems
Introduction to Modeling and Validation - / 1：
Non-Hierarchical Coloured Petri Nets - / 2：
CPN ML Programming - / 3：
Formal Definition of Non-Hierarchical Coloured Petri Nets - / 4：
Hierarchical Coloured Petri Nets - / 5：
Formal Definition of Hierarchical Coloured Petri Nets - / 6：
State Spaces and Behavioural Properties - / 7：
Advanced State Space Methods - / 8：
Formal Definition of State Spaces and Behavioural Properties - / 9：
Times Coloured Petri Nets - / 10：
Formal Definition of Timed Coloured Petri Nets - / 11：
Simulation-Based Performance Analysis - / 12：
Behavioural Visulization - / 13：
Examples of Industrial Applications - / 14：
Teaching Coloured Petri Nets / 15：
Modeling and Validation of Concurrent Systems
Introduction to Modeling and Validation - / 1：
Non-Hierarchical Coloured Petri Nets - / 2：
5.

電子ブック
ＥＢ
5. Transactions on Petri Nets and Other Models of Concurrency II
Kurt Jensen, Wil M. P. Aalst, Takeo Kanade, Josef Kittler
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
A Look Around the Corner: The Pi-Calculus / Frank Puhlmann ; Mathias Weske
newYAWL: Towards Workflow 2.0 / Nick Russell ; Arthur H.M. ter Hofstede
A Formal Model for Organisational Structures behind Process-Aware Information Systems / Michael Kohler-Buβmeier ; Matthias Wester-Ebbinghaus ; Daniel Moldt
Flexibility in Process-Aware Information Systems / Manfred Reichert ; Stefanie Rinderle-Ma ; Peter Dadam
Business Grid: Combining Web Services and the Grid / Ralph Mietzner ; Dimka Karastoyanova ; Frank Leymann
Does My Service Have Partners? / Karsten Wolf
Deciding Substitutability of Services with Operating Guidelines / Christian Stahl ; Peter Massuthe ; Jan Bretschneider
A Framework for Linking and Pricing No-Cure-No-Pay Services / K.M. van Hee ; H.M.W. Verbeek ; C. Stahl ; N. Sidorova
Empirical Studies in Process Model Verification / Jan Mendling
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms / B.F. van Dongen ; A.K. alves de Medeiros ; L. Wen
Construction of Process Models from Example Runs / Robin Bergenthum ; Jorg Desel ; Sebastian Mauser ; Robert Lorenz
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments / Hong-Linh Truong ; Schahram Dustdar
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining / Federico Chesani ; Evelina Lamma ; Paola Mello ; Marco Montali ; Fabrizio Riguzzi ; Sergio Storari
Author Index
Process-Aware Information Systems: Lessons to Be Learned from Process Mining / Wil M.P. van der Aalst
Model-Based Software Engineering and Process-Aware Information Systems / Ekkart Kindler
Petri Net Transformations for Business Processes - A Survey / Niels Lohmann ; Eric Verbeek ; Remco Dijkman
6.

電子ブック
ＥＢ
6. Transactions on Petri Nets and Other Models of Concurrency III
Kurt Jensen, Jonathan Billington, Takeo Kanade, Maciej Koutny
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Designing a Workflow System Using Coloured Petri Nets / Nick C. Russell ; Wil M.P. van der Aalst ; Arthur H.M. ter Hofstede
From Requirements via Coloured Workflow Nets to an Implementation in Several Workflow Systems / Ronny S. Mans ; Piet J.M. Bakker ; Arnold J. Moleman ; Kristian B. Lassen ; Jens B. Jørgensen
Soundness of Workflow Nets with Reset Arcs / Kees M. van Hee ; Arthur H.M. ter Hofstead ; Natalia Sidorova ; H.M.W. Verbeek ; Marc Voorhoeve ; Moe T. Wynn
Parameterised Coloured Petri Net Channel Models / Jonathan Billington ; Somsak Vanit-Anunchai ; Guy E. Gallasch
On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol / Cong Yuan
Modelling Mobile IP with Mobile Petri Nets / Charles Lakos
A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example / Fabien Bonnefoi ; Christine Choppy ; Fabrice Kordon
The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection / Sami Evangelista ; Michael Westergaard ; Lars M. Kristensen
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language / Robin Bergenthum ; Jörg, Desel ; Sebastian Mauser
On Bisimulation Theory in Linear Higher-Order $-Calculus / Xian Xu
Author Index
Designing a Workflow System Using Coloured Petri Nets / Nick C. Russell ; Wil M.P. van der Aalst ; Arthur H.M. ter Hofstede
From Requirements via Coloured Workflow Nets to an Implementation in Several Workflow Systems / Ronny S. Mans ; Piet J.M. Bakker ; Arnold J. Moleman ; Kristian B. Lassen ; Jens B. Jørgensen
Soundness of Workflow Nets with Reset Arcs / Kees M. van Hee ; Arthur H.M. ter Hofstead ; Natalia Sidorova ; H.M.W. Verbeek ; Marc Voorhoeve ; Moe T. Wynn
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼