跳到内容
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
Conference proceedings
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 

没有张号吗?很容易就可以 建立免费的账号.