Overview

Full Product Details

Author:   Elvio Amparore ,  Łukasz Mikulski
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15714
ISBN:  

9783031946332

ISBN 10:   3031946332
Pages:   502
Publication Date:   08 June 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.
Language:   English

Table of Contents

.- Automated Reasoning for Data-Aware Petri Nets. .- Petri Nets and Higher-Dimensional Automata. .- Discovering the Influence of Exogenous Data on Decisions in Processes. .- Synthesizing Petri Nets from Labelled Petri Nets. .- Coverability in Well-Formed Free-Choice Nets. .- High-Level Message Sequence Charts: Satisfiability and Realizability Revisited. .- Distributed Reference Net Simulation based on Event Streaming. .- Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and Ochmanski’s Conjecture. .- Statistical Model Checking of Stochastic Timed-Arc Petri Nets. .- Energy Transfer in timed cyclic networks. .- Leveraging Petri Nets for Workflow Anomaly Detection in Microservice Architectures. .- Translating Workflow Nets into the Partially Ordered Workflow Language. .- Distributed Places and Safe Net Reduction. .- Analysing Probabilistic Hornets. .- Enjoy the Silence, Part II: Probability-Based Queries on Stochastic Labelled Petri Nets. .- Decidability problems for weak Time Petri Nets with read, reset and transfer arcs. .- SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills. .- Deciding (Sub-Marking) Reachability in O(Pˆ2 + Tˆ2) for Sound Acyclic Free-Choice Workflow Nets. .- Complexity of Alignments on Sound Free-Choice Workflow Nets. .- Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings . .- Simplifying LTL Model Checking Given Prior Knowledge. .- Failure Resilience of strongly synchronized Processes. .- Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions