Transactions on Petri Nets and Other Models of Concurrency XV

A 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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Teoria matemática da computação
• Algoritmos e estruturas de dados
• Teoria da informação
• Matemática para cientistas da computação
• A matemática discreta
• Hardware do computador
• Engenharia do software

architecting;architecture verification and validation;artificial intelligence;colored petri nets;computer networks;computer systems;distributed computer systems;embedded systems;graph theory;mathematics;model checking;petri nets;software architecture;software design;software engineering;theoretical computer science;timed petri net