|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Maciej Koutny , Fabrice Kordon , Lucia PomelloPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1st ed. 2021 Volume: 12530 Weight: 0.454kg ISBN: 9783662630785ISBN 10: 3662630788 Pages: 185 Publication Date: 25 February 2021 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsA Novel Token-Based Replay Technique to Speed Up Conformance Checking and Process Enhancement.- Extensible Structural Analysis of Petri Net Product Lines.- Stability of Regional Orthomodular Posets under Synchronisation and Refinement.- Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond.- The Complexity of Synthesizing nop-Equipped Boolean Petri Nets from g-Bounded Inputs.- A Two-Player Asynchronous Game on Fully Observable Petri Nets.- Solving Finite-Linear-Path CTL-Formulas Using the CEGAR Approach.- Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |