[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS

[en] EXTENDING PROPOSITIONAL DYNAMIC LOGIC FOR PETRI NETS

[pt] Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiv...

Full description

Bibliographic Details
Main Author: BRUNO LOPES VIEIRA
Other Authors: EDWARD HERMANN HAEUSLER
Language:en
Published: MAXWELL 2015
Subjects:
[pt] LOGICA
[en] LOGIC
[pt] REDES DE PETRI
[en] PETRI NETS
[pt] LOGICA MODAL
[en] LOGIC MODAL
[pt] LOGICA DINAMICA
[en] DYNAMIC LOGIC
[pt] REDES DE PETRI ESTOCATISCAS
[en] STOCHASTIC PETRI NETS
Online Access:https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052@2
http://doi.org/10.17771/PUCRio.acad.24052

Internet

https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052@1
https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=24052@2
http://doi.org/10.17771/PUCRio.acad.24052

Similar Items