Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
50
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
6,356
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Transactions on Petri Nets and Other Models of Concurrency XI
other
Editor(s):
Maciej Koutny
,
Jörg Desel
,
Jetty Kleijn
Publication date
(Print):
2016
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Exponential Random Graph Models
Author and book information
Book
ISBN (Print):
978-3-662-53400-7
ISBN (Electronic):
978-3-662-53401-4
Publication date (Print):
2016
DOI:
10.1007/978-3-662-53401-4
SO-VID:
e4e8d1b2-f57c-49c1-812d-fed43fda235d
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification
pp. 28
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications
pp. 49
Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
pp. 71
Validating DCCP Simultaneous Feature Negotiation Procedure
pp. 92
Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework
pp. 114
Mining Conditional Partial Order Graphs from Event Logs
pp. 137
Conditions for Petri Net Solvable Binary Words
pp. 160
Self-tracking Reloaded: Applying Process Mining to Personalized Health Care from Labeled Sensor Data
pp. 181
A Method for Assessing Parameter Impact on Control-Flow Discovery Algorithms
pp. 203
Negotiations and Petri Nets
pp. 226
A Formal Framework for Diagnostic Analysis for Errors of Business Processes
pp. 262
MCC’2015 – The Fifth Model Checking Contest
pp. 274
Running LoLA 2.0 in a Model Checking Competition
pp. 286
MARCIE’s Secrets of Efficient Model Checking
pp. 297
A Symbolic Model Checker for Petri Nets: pnmc
pp. 307
TAPAAL and Reachability Analysis of P/T Nets
Similar content
6,356
Colonization of vines by Petri disease fungi, susceptibility of rootstocks to Phaeomoniella chlamydospora and their disinfection
Authors:
Ana Ferreira
,
Luís Leite
,
José Hernandes
…
Petri net modelling of bridge asset management using maintenance-related state conditions
Authors:
Bryant Le
,
John J. Andrews
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases
Authors:
Marco Montali
,
Andrey Rivkin
See all similar
Cited by
1
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics
Authors:
Stefan Haar
,
Juraj Kolčák
,
Loïc Paulevé
See all cited by