Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Paperback(2015)

$69.99
Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9783319194875
Publisher: Springer International Publishing
Publication date: 05/11/2015
Series: Lecture Notes in Computer Science , #9115
Edition description: 2015
Pages: 351
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.-Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.-Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.-On Interval Process Semantics of Petri Nets with Inhibitor Arcs.- An SRN-Based Resiliency Quantification Approach.-Non-atomic Transition Firing in Contextual Nets.-Discrete Parameters in Petri Nets.-Negotiation Programs.-Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.-Charlie – An Extensible Petri Net Analysis Tool.-Petri Nets with Structured Data.-On the Reversibility of Live Equal-Conflict Petri Nets.-SNAKES: A Flexible High-Level Petri Nets Library.-Characterizing Stable Inequalities of Petri Nets.-Process Discovery Using Localized Events.-New Search Strategies for the Petri Net CEGAR Approach.-Workflow Management Principles for Interactions Between Petri Net-Based Agents.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews