Transactions on Petri Nets and Other Models of Concurrency XVI
portes grátis
Transactions on Petri Nets and Other Models of Concurrency XVI
Kordon, Fabrice; Koutny, Maciej; Moldt, Daniel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
04/2022
141
Mole
Inglês
9783662653029
15 a 20 dias
256
Descrição não disponível.
Property-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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;automata theory;computer programming;embedded systems;formal logic;graph theory;model checking;petri nets;programming languages;software architecture;software design;software engineering;software quality;verification;verification and validation
Property-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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecture verification and validation;artificial intelligence;automata theory;computer programming;embedded systems;formal logic;graph theory;model checking;petri nets;programming languages;software architecture;software design;software engineering;software quality;verification;verification and validation
