Transactions on Petri Nets and Other Models of Concurrency V

>> Google Books

Transactions on Petri Nets and Other Models of Concurrency V / David Hutchison, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2012

著者名:

ISBN:

9783642290718 [364229071X]
9783642290725 [3642290728]

書誌ID:

OB00351958

子書誌情報

フルテキスト

所蔵情報

書誌詳細

言語:

英語

目次情報:

Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji

Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser

Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin

Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker

Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista

Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek

Synthesis Problem for Petri Nets with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny

A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao ; José-Manuel Colom

Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni ; Fabio Farina

Incremental Process Discovery / Marc Solé ; Josep Carmona

Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner ; José Quenum ; Daniel Moldt ; Christine Reese

A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard ; Lars Michael Kristensen

Author Index

Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji

Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser

Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin

Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker

Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista

Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Transactions on Petri Nets and Other Models of Concurrency V Hutchison, David, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Transactions on Petri Nets and Other Models of Concurrency II Jensen, Kurt, Aalst, Wil M. P., Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Transactions on Petri Nets and Other Models of Concurrency VII Hutchison, David; Kanade, Takeo; Kittler, Josef; Balbo, Gianfranco ; Wolf, Karsten Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Transactions on Petri Nets and Other Models of Concurrency III Jensen, Kurt, Billington, Jonathan, Kanade, Takeo, Koutny, Maciej Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Transactions on Petri Nets and Other Models of Concurrency VII Hutchison, David; Kanade, Takeo; Kittler, Josef; Balbo, Gianfranco ; Wolf, Karsten SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Transactions on Petri Nets and Other Models of Concurrency IV Jensen, Kurt, Donatelli, Susanna, Kanade, Takeo, Koutny, Maciej Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Petri Nets and Other Models of Concurrency ? ICATPN 2007 Kleijn, Jetty, Hutchison, David, Kanade, Takeo, Yakovlev, Alex Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Transactions on Petri Nets and Other Models of Concurrency I Jensen, Kurt, Aalst, Wil M. P., Billington, Jonathan, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Petri Nets and Other Models of Concurrency – ICATPN 2007 Kleijn, Jetty, Hutchison, David, Kanade, Takeo, Yakovlev, Alex SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Transactions on Petri Nets and Other Models of Concurrency II Jensen, Kurt, Aalst, Wil M. P., Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Transactions on Petri Nets and Other Models of Concurrency I Jensen, Kurt, Aalst, Wil M. P., Billington, Jonathan, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Transactions on Petri Nets and Other Models of Concurrency III Jensen, Kurt, Billington, Jonathan, Kanade, Takeo, Koutny, Maciej SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12