Lectures on Concurrency and Petri Nets

Lectures on Concurrency and Petri Nets

 

138,15 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2004
ISBN:
9783540222613
138,15 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.

Artículos relacionados

  • Innovations in Data Methodologies and Computational Algorithms for Medical Applications
    Aryya Gangopadhyay
    Medicine has, until recently, been slow to adapt to information technologies and systems for many reasons, but the future lies therein. Innovations in Data Methodologies and Computational Algorithms for Medical Applications offers the most cutting-edge research in the field, offering insights into case studies and methodologies from around the world. The text details the latest...
  • Nine Algorithms That Changed the Future
    John MacCormick
    Nine revolutionary algorithms that power our computers and smartphonesEvery day, we use our computers to perform remarkable feats. A simple web search picks out a handful of relevant needles from the world’s biggest haystack. Uploading a photo to Facebook transmits millions of pieces of information over numerous error-prone network links, yet somehow a perfect copy of the photo...
    Disponible

    26,71 €

  • Machine Learning with Rust
    Keiko Nakamura
    In this stimulating journey of Rust, you’ll learn how to use the Rust programming language in conjunction with machine learning. It’s not a full guide to learning machine learning with Rust. Instead, it’s more of a journey that shows you what’s possible when you use Rust to solve machine learning problems. Some people like Rust because it is quick and safe. This book shows how ...
    Disponible

    69,58 €

  • Design and Analysis of Algorithms
    Dr. Paras Jain
    In the ever-evolving landscape of computer science, the significance of algorithm design and analysis cannot be overstated. This book, 'Design and Analysis of Algorithms,' endeavors to be a comprehensive guide that navigates both the theoretical foundations and practical applications of algorithms. As we delve into the intricate realm of algorithmic problem-solving, this text a...
    Disponible

    51,79 €

  • Deep Learning and Applications
    In recent years, the field of artificial intelligence has witnessed an extraordinary resurgence, with deep learning emerging as the cornerstone of numerous breakthroughs across various domains. 'Deep Learning and Applications' embarks on a journey into the captivating realm of deep learning, unraveling its intricate concepts, techniques, and transformative potential.This book s...
    Disponible

    43,49 €

  • Mastering Vim - Second Edition
    Ruslan Osipov
    Build applications with advanced movement, text operations, and IDE capabilities in Vim 9.0 and NeovimKey Features:- Develop proficiency in Vim and Vimscript for efficient text editing- Integrate Vim into your daily development workflow and customize it to suit your preferences- Learn through examples in Python code, explore scenarios with version control, and focus on the buil...
    Disponible

    60,86 €