Transactions on Petri Nets and Other Models of Concurrency III

>> Google Books

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

著者名:

ISBN:

9783642048548 [3642048544]
9783642048562 [3642048560]

書誌ID:

OB00507530

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

LECTURE NOTES IN COMPUTER SCIENCE / TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY

言語:

英語

目次情報:

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

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

続きを見る

ブックレビュー

類似資料:

1 電子ブック 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	7 電子ブック Transactions on Petri Nets and Other Models of Concurrency II Jensen, Kurt, Aalst, Wil M. P., Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
2 電子ブック 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	8 電子ブック Transactions on Petri Nets and Other Models of Concurrency VII Hutchison, David; Kanade, Takeo; Kittler, Josef; Balbo, Gianfranco ; Wolf, Karsten, Balbo, Gianfranco, Koutny, Maciej, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Transactions on Petri Nets and Other Models of Concurrency IV Jensen, Kurt, Donatelli, Susanna, Kanade, Takeo, Koutny, Maciej SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Transactions on Petri Nets and Other Models of Concurrency X Koutny Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック 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	10 電子ブック Transactions on Petri Nets and Other Models of Concurrency IX Koutny Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Transactions on Petri Nets and Other Models of Concurrency I Jensen, Kurt, Aalst, Wil M. P., Billington, Jonathan, Kanade, Takeo, van der Aalst, Wil M. P. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	11 電子ブック Transactions on Petri Nets and Other Models of Concurrency XII Koutny Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック 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	12 電子ブック Transactions on Petri Nets and Other Models of Concurrency XI Koutny, Maciej. Desel, Jorg. Kleijn, Jetty. Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12