Petri Net Synthesis

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated proces...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Badouel, Eric (Autor), Bernardinello, Luca (Autor), Darondeau, Philippe (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Computer science.
Computer science-Mathematics.
Software engineering.
Mathematical logic.
Theory of Computation.
Mathematics of Computing.
Software Engineering.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Introduction to Elementary Net Synthesis
  • Other Forms of the Synthesis Problem
  • Algorithms of Elementary Net Synthesis
  • Variations of Elementary Net Synthesis
  • A Unified Theory of Net Synthesis
  • The Linear Algebraic Structure of Regions
  • Synthesis of P/T-Nets from Finite Initialized Transition Systems
  • Synthesis of Unbounded P/T-Nets
  • P/T-Nets with the Step Firing Rule
  • Extracting Concurrency from Transition Systems
  • Process Discovery
  • Supervisory Control
  • Design of Speed Independent Circuits
  • Bibliography.

Ejemplares similares