Application and Theory of Petri Nets and Concurrency
-15%
portes grátis
Application and Theory of Petri Nets and Concurrency
38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
van der Aalst, Wil; Best, Eike
Springer International Publishing AG
05/2017
351
Mole
Inglês
9783319578606
15 a 20 dias
5562
Descrição não disponível.
Distinguished Carl Adam Petri Lecture.- Simulation of Colored Petri Nets.- Petri Net Tools.- Model Checking.- Liveness and Opacity.- Stochastic Petri Nets.- Specific Net Classes.- Petri Nets for Pathways.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
automata theory;distributed systems;formal methods;model checking;process modeling;concurrency;decision diagram;fast simulation;formal languages;higher-level net models;model-driven software engineering;parallel computing;parameterized complexity;petri nets;process calculi;protocol verification;reachability;structural analysis;system design;verification
Distinguished Carl Adam Petri Lecture.- Simulation of Colored Petri Nets.- Petri Net Tools.- Model Checking.- Liveness and Opacity.- Stochastic Petri Nets.- Specific Net Classes.- Petri Nets for Pathways.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
automata theory;distributed systems;formal methods;model checking;process modeling;concurrency;decision diagram;fast simulation;formal languages;higher-level net models;model-driven software engineering;parallel computing;parameterized complexity;petri nets;process calculi;protocol verification;reachability;structural analysis;system design;verification
