{"product_id":"application-and-theory-of-petri-nets-and-concurrency-9783031946332","title":"Application and Theory of Petri Nets and Concurrency","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e.- Automated Reasoning for Data-Aware Petri Nets.\u003c\/p\u003e\u003cp\u003e.- Petri Nets and Higher-Dimensional Automata.\u003c\/p\u003e\u003cp\u003e.- Discovering the Influence of Exogenous Data on Decisions in Processes.\u003c\/p\u003e\u003cp\u003e.- Synthesizing Petri Nets from Labelled Petri Nets.\u003c\/p\u003e\u003cp\u003e.- Coverability in Well-Formed Free-Choice Nets.\u003c\/p\u003e\u003cp\u003e.- High-Level Message Sequence Charts: Satisfiability and Realizability\u003cbr\u003eRevisited.\u003c\/p\u003e\u003cp\u003e.- Distributed Reference Net Simulation based on Event Streaming.\u003c\/p\u003e\u003cp\u003e.- Persistent Permutations, Fairness, Asymmetric Choice Petri Nets, and\u003cbr\u003eOchmanski’s Conjecture.\u003c\/p\u003e\u003cp\u003e.- Statistical Model Checking of Stochastic Timed-Arc Petri Nets.\u003c\/p\u003e\u003cp\u003e.- Energy Transfer in timed cyclic networks.\u003c\/p\u003e\u003cp\u003e.- Leveraging Petri Nets for Workflow Anomaly Detection in Microservice\u003cbr\u003eArchitectures.\u003c\/p\u003e\u003cp\u003e.- Translating Workflow Nets into the Partially Ordered Workflow Language.\u003c\/p\u003e\u003cp\u003e.- Distributed Places and Safe Net Reduction.\u003c\/p\u003e\u003cp\u003e.- Analysing Probabilistic Hornets.\u003c\/p\u003e\u003cp\u003e.- Enjoy the Silence, Part II: Probability-Based Queries on Stochastic\u003cbr\u003eLabelled Petri Nets.\u003c\/p\u003e\u003cp\u003e.- Decidability problems for weak Time Petri Nets with read, reset and\u003cbr\u003etransfer arcs.\u003c\/p\u003e\u003cp\u003e.- SkiNet: a User-Oriented Tool for Petri Net-based Analysis of Robotic Skills.\u003c\/p\u003e\u003cp\u003e.- Deciding (Sub-Marking) Reachability in O(Pˆ2 + Tˆ2) for Sound\u003cbr\u003eAcyclic Free-Choice Workflow Nets.\u003c\/p\u003e\u003cp\u003e.- Complexity of Alignments on Sound Free-Choice Workflow Nets.\u003c\/p\u003e\u003cp\u003e.- Computing Alignments for Partially-ordered Traces Through Petri Net\u003cbr\u003eUnfoldings .\u003c\/p\u003e\u003cp\u003e.- Simplifying LTL Model Checking Given Prior Knowledge.\u003c\/p\u003e\u003cp\u003e.- Failure Resilience of strongly synchronized Processes.\u003c\/p\u003e\u003cp\u003e.- Symbolic Model Checking in the Modular State Space using Binary\u003cbr\u003eDecision Diagrams.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195490853207,"sku":"9783031946332","price":64.99,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/application-and-theory-of-petri-nets-and-concurrency-9783031946332","provider":"Book Curl","version":"1.0","type":"link"}