[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

Similar Items

[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO
by: GIOVANNI CORDEIRO BARROSO
Published: (2009)

[en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP
by: ISABEL MARIA LAMBERT TORRES
Published: (2009)

[en] LANBRET-DMS - VOICE AND DATA INTEGRATED MESSAGE SYSTEM FOR LOCAL AREA NETWORK ENVIRONMENT
by: NELSON RAMOS RIBEIRO
Published: (2007)

[en] USE OF PETRI NET TO MODEL RESOURCE ALLOCATION IN PROCESS MINING
by: BEATRIZ MARQUES SANTIAGO
Published: (2019)

[en] LOGICAL ECUMENISM
by: VICTOR LUIS BARROSO NASCIMENTO
Published: (2018)

[en] A LOGIC PROGRAMMING BASED SYSTEM TO SUPPORT THE SENDING OF COMMANDS UPON A TELEPHONE NETWORK
by: GOFREDO JORGE DA COSTA MOREIRA
Published: (2009)

[en] AN INTERACTIVE TOOL TO HELP THE STUDIES OF FORMAL LOGIC
by: MARIO H. A. TASCHERI
Published: (2009)

Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01)

Composition of Logical Petri Nets and Compatibility Analysis
by: Wenjing Luan, et al.
Published: (2017-01-01)

[en] PROXIMITY-BASED UNDERSTANDING OF CONDITIONALS
by: RICARDO QUEIROZ DE ARAUJO FERNANDES
Published: (2017)

[en] ALFRED TARSKI: LOGICAL CONSEQUENCE, LOGICAL NOTIONS, AND LOGICAL FORMS
by: STEFANO DOMINGUES STIVAL
Published: (2004)

[en] CONCEIVABILITY, POSSIBILITY AND LOGIC
by: OCTAVIO MOREIRA GUIMARAES LOPES
Published: (2005)

[en] A LOGIC PROGRAMMING EXTENSION FOR C CALLED CLOG
by: MARIA DO CARMO ELIAS ALVES
Published: (2006)

[en] DEALING WITH DECISION POINTS IN PROCESS MINING
by: DANIEL DUQUE GUIMARAES SARAIVA
Published: (2019)

[en] TRUST IN INTELLIGENT AGENTS
by: JULIANA CARPES IMPERIAL
Published: (2008)

[en] NOTES ON THE NOTION OF EXISTENCE
by: TIAGO REZENDE DE CASTRO ALVES
Published: (2015)

[en] LISPLOG: A LANGUAGE FOR FUNCTIONAL AND LOGIC PROGRAMMING
by: DANTE CORBUCCI FILHO
Published: (2009)

[en] CONTRIBUTION TO THE STUDY OF THE TEMPORAL CHARACTER OF WILLIAM OF OCKHAM´S LOGIC
by: GUILHERME LOUIS WYLLIE MEDICI
Published: (2005)

[en] FIRST-ORDER MODAL LOGIC FOR REASONING ABOUT GAMES
by: DAVI ROMERO DE VASCONCELOS
Published: (2007)

Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
by: Liang Qi, et al.
Published: (2020-01-01)

Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
by: Zhen Wang, et al.
Published: (2020-01-01)

[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (2006)

[en] KNOWLEDGE BASED FOR HYDROELECTRIC MACHINES DIAGNOSIS
by: LUCIANO R CHAGAS COSTA JUNIOR
Published: (2006)

[en] DEVELOPMENT OF A GRAPHICAL ENVIRONMENT FOR THE SIMULATION OF A FUZZY CONTROL SYSTEM
by: NESTOR CORREA COTELO
Published: (2006)

[en] ANALYTIC STUDY AND NUMERIC SIMULATION FOR THRESHOLD LOGIC
by: FERNANDO AYRES CASTRO FILHO
Published: (2008)

[en] LOGIC AS REGENERATED METAPHYSICS: ON THE ISOMORPHISM BETWEEN WORLD AND LANGUAGE IN THE WITTGENSTEIN`S TRACTATUS
by: MARCOS ANTONIO DA SILVA FILHO
Published: (2008)

[en] WHAT IS SKELETON OF A PROOF
by: EDUARDO NAHUM OCHS
Published: (2004)

[en] FORECASTING HOURLY ELECTRICITY LOAD FOR LIGHT
by: ANA PAULA BARBOSA SOBRAL
Published: (2005)

[en] TRAFFIC CONTROL THROUGH FUZZY LOGIC AND NEURAL NETWORKS
by: ALEXANDRE ROBERTO RENTERIA
Published: (2002)

[en] GUI TEST SUITE AUTOMATIC GENERATION FROM PETRI NET
by: RAQUEL JAUFFRET GUILHON
Published: (2015)

[en] UNRESTRICTED QUANTIFICATION AND ABSOLUTE GENERALITY: THE ISSUE OF THE POSSIBILITY OF A THEORY ABOUT EVERYTHING
by: ANDRE NASCIMENTO PONTES
Published: (2015)

[en] FUZZY CONTROL OF AN AUXILIARY NAVIGATION SYSTEM FOR A HYBRID AMBIENT ROBOT
by: CRISTHIAN JULIAN GOMEZ LIZCANO
Published: (2016)

[en] COMPUTATIONAL INTELLIGENCE APLPLIED IN THE FIELD OF MACHINE LEARNING
by: IVO LIMA BRASIL JUNIOR
Published: (2005)

[en] A SHORT TERM LOAD FORECASTING MODEL COMBINING STATISTICAL AND COMPUTATIONAL INTELLIGENCE BASED MODELS
by: PLUTARCHO MARAVILHA LOURENCO
Published: (2006)

[en] THE DEDUCTIVE MODEL IN NEIL MACCORMICK S THEORY OF LEGAL REASONING
by: PEDRO NAVARRO CESAR
Published: (2007)

[en] OPERATIONS OVER LIGHTWEIGHT ONTOLOGIES
by: ROMULO DE CARVALHO MAGALHAES
Published: (2016)

[en] A SHORT-TERM LOAD FORECASTING MODEL USING NEURAL NETWORK AND FUZZY LOGIC.
by: FLAVIA CRISTINA DA COSTA SERRAO
Published: (2003)

[en] THE INFINITE JUDGMENTS: THEIR FUNCTION AND THEIR NATURE - SOME ASPECTS OF THE PREDICATIVE NEGATION IN THE CRITIQUE OF PURE REASON
by: FABIO FRANCOIS MENDONCA DA FONSECA
Published: (2008)

[en] LONG-TERM ELECTRICITY DEMAND FORECAST BY FUZZY LOGIC APPROACH
by: FABIANO CASTRO TORRINI
Published: (2016)

Modelagem e processamento de conhecimento baseados em Rede de Petri nebulosa estendida
by: Daltrini, Alexandre Moreira
Published: (1993)