跳至内容
Transactions on petri nets and other models of concurrency VIII 線上預覽
關閉線上預覽
正在查...

Transactions on petri nets and other models of concurrency VIII

作者: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
出版商: Heidelberg : Springer, 2013.
叢書: Lecture notes in computer science, 8100
版本/格式:   電子書 : 文獻 : 會議刊物 : 英語所有版本和格式的總覽
資料庫:WorldCat
提要:
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets,  再讀一些...
評定級別:

(尚未評分) 0 附有評論 - 成爲第一個。

主題
更多類似這樣的

 

在線上查詢

與資料的連結

在圖書館查詢

&AllPage.SpinnerRetrieving; 正在查詢有此資料的圖書館...

詳細書目

類型/形式: Electronic books
Congresses
資料類型: 會議刊物, 文獻, 網際網路資源
文件類型: 網路資源, 電腦資料
所有的作者/貢獻者: Maciej Koutny; Wil van der Aalst; Alex Yakovlev
ISBN: 9783642404658 3642404650 3642404642 9783642404641
OCLC系統控制編碼: 857224164
注意: Includes author index.
描述: 1 online resource (xviii, 203 pages) : illustrations.
内容: Comparing Metabolic Pathways through Reactions and Potential Fluxes / Paolo Baldan, Nicoletta Cocco --
Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow / Yann Ben Maissa, Fabrice Kordon --
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms / Luca Bernardinello, Elisabetta Mangioni --
From Code to Coloured Petri Nets: Modelling Guidelines / Anna Dedova, Laure Petrucci --
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets / Agata Janowska, Wojciech Penczek --
When Can We Trust a Third Party? / Kees M. van Hee, Natalia Sidorova --
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle / Mostafa Herajy, Martin Schwarick --
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators / Christian Rohr --
Model-Driven Middleware Support for Team-Oriented Process Management / Matthias Wester-Ebbinghaus --
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching / Michael Westergaard, Dirk Fahland.
叢書名: Lecture notes in computer science, 8100
其他題名: Transactions on petri nets and other models of concurrency 8
責任: Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev (eds.).
更多資訊:

摘要:

This volume features papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Coverage includes model checking and system  再讀一些...

評論

讀者提供的評論
正在擷取GoodReads評論...
正在擷取DOGObooks的評論

標籤

成爲第一個
確認申請

你可能已經申請過這份資料。若還是想申請,請選確認。

連結資料


<http://www.worldcat.org/oclc/857224164>
library:oclcnum"857224164"
library:placeOfPublication
owl:sameAs<info:oclcnum/857224164>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"2013"
schema:description"The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1379889161>
schema:genre"Electronic books."
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:name"Transactions on petri nets and other models of concurrency VIII"
schema:name"Transactions on petri nets and other models of concurrency 8"
schema:url
schema:url
schema:workExample
schema:workExample
schema:workExample

Content-negotiable representations

關閉視窗

請登入WorldCat 

没有帳號嗎?你可很容易的 建立免費的帳號.