|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Maciej Koutny , Fabrice Kordon , Daniel MoldtPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1st ed. 2022 Volume: 13220 Weight: 0.256kg ISBN: 9783662653029ISBN 10: 3662653028 Pages: 141 Publication Date: 20 April 2022 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 ContentsProperty-Preserving Transformations of Elementary Net Systems Based on Morphisms.- Defining Meaningful Local Process Models.- Distributed Synthesis of Asynchronously Communicating Distributed Process Models.- Using Approximation for the Verification of Token-Scaling Models.- Portfolio Management in Explicit Model Checking.- Practical Distributed Implementation of Very Large Scale Petri Net Simulations.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |