Education/PeC Web	Changed	Changed by

Avisos	24 Jul 2008 - 17:41 - r21	AlcinoCunha
24 Julho As notas da época de recurso estão disponíveis aqui. 30 Junho As notas finais estão disponíveis aqui. 29 Junho As notas do teste do módulo II estão dispon ...

Avisos0910	25 Jun 2010 - 00:52 - r6	LuisSoaresBarbosa
20 Fev As aulas iniciam se no dia 22 de fevereiro. 20 Fev Os sumários podem ser encontrados no calendário. 22 Abr Ao contrário do que havia sido anunciado, ...

AvisosArquivo	19 Feb 2008 - 14:57 - r2	AlcinoCunha

Calendario	21 Feb 2010 - 18:05 - r15	LuisSoaresBarbosa

Funcionamento	02 Jun 2008 - 13:42 - r10	AlcinoCunha
Equipa docente Alcino Cunha: Redes de Petri Lógica Temporal. Soares Barbosa: Álgebra de Processos. Avaliação Cada aluno deve escolher um dos seguintes ...

IeC1213	19 Sep 2014 - 23:23 - r14	LuisSoaresBarbosa
Interacção e Concorrência Edição 2013 14 Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

IeC1314	18 Feb 2015 - 01:22 - r2	LuisSoaresBarbosa
Interacção e Concorrência Edição 2013 14 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

IeC1415	26 Sep 2016 - 21:37 - r17	LuisSoaresBarbosa
Interacção e Concorrência Edição 2014 15 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

MaterialApoio	13 Jun 2008 - 14:07 - r26	LuisSoaresBarbosa
Redes de Petri Lógica Temporal Bibliografia Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications . Claude Girault and Rüdiger ...

PeC0708	21 Feb 2010 - 20:01 - r2	LuisSoaresBarbosa
Processos e Concorrência Edição 2007 08 Índice Apresentação Esta disciplina tem por objectivo introduzir técnicas de modelação e análise de sistemas concorrentes ...

PeC0910	13 Mar 2011 - 02:08 - r22	LuisSoaresBarbosa
Processos e Concorrência Edição 2009 10 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1011	27 Jul 2011 - 00:11 - r10	LuisSoaresBarbosa
Processos e Concorrência Edição 2010 11 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1112	15 Sep 2012 - 20:51 - r11	LuisSoaresBarbosa
Processos e Concorrência Edição 2011 12 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

PeC1213	18 Feb 2015 - 01:12 - r19	LuisSoaresBarbosa
Processos e Concorrência Edição 2012 13 Índice Objectivos Este curso tem por objectivo o estudo de sistemas reactivos , com ênfase na sua composição concorrente ...

Programa	07 Mar 2007 - 14:19 - r4	AlcinoCunha
Redes de Petri Modelação de sistemas concorrentes com redes de Petri. Semântica operacional baseada em sistemas de transição de estados. Propriedades ...

Projectos	21 Feb 2010 - 17:12 - r3	LuisSoaresBarbosa
Pipe2smv Conversor de ficheiros do Pipe para o formato do SMV. Todos os lugares devem ter capacidade limitada, ou então usar a opção c para definir a capacidade m ...

ViewSkinAlcinoTemplate	13 Feb 2007 - 11:17 - NEW	AlcinoCunha

WebAtom	24 Jan 2006 - 06:07 - r2	TWikiContributor
TWiki's Education/PeC web

WebChanges	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebCss	16 Feb 2007 - 14:32 - r3	AlcinoCunha
.natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs { width:0px; height:0px; overflow:hidden; } .avisos { color: #444; font size ...

WebHome	19 Mar 2010 - 11:13 - r15	LuisSoaresBarbosa
O curso tem por objectivo o estudo de técnicas de especificação, modelação, análise e verificação de sistemas reactivos , com ênfase na sua composição concorrente ...

WebIndex	15 Nov 2006 - 19:43 - r4	TWikiContributor

WebLeftBar	13 Feb 2007 - 10:35 - r5	AlcinoCunha
Apresentação Sumários Projectos Material

WebNotify	28 Mar 2005 - 09:40 - r5	TWikiContributor
TWikiGuest example #64;your.company .WebChangesAlert, ., .TWikiRegistration

WebPreferences	15 Feb 2007 - 20:30 - r15	AlcinoCunha
Education/PeC Web Preferences The following settings are web preferences of the Education/PeC web. These preferences overwrite the site level preferences in ...

WebRss	28 Mar 2005 - 09:40 - r4	TWikiContributor
" else "TWiki's Education/PeC web"}% /Education/PeC

WebSearch	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSearchAdvanced	15 Nov 2006 - 19:43 - r3	TWikiContributor

WebSideBar	18 Feb 2015 - 00:33 - r15	LuisSoaresBarbosa
Edições 2014 15 2013 14 2012 13 2011 12 2010 11 2009 10 PeC0708 2007 08

WebStatistics	29 Oct 2020 - 15:24 - r2221	TWikiGuest
Statistics for Education/PeC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...

WebTopBar	13 Feb 2007 - 14:43 - NEW	AlcinoCunha

WebTopicActions	18 May 2007 - 08:03 - r2	AlcinoCunha

WebTopicCreator	15 Nov 2006 - 19:43 - r2	TWikiContributor

WebTopicList	15 Nov 2006 - 19:43 - r3	TWikiContributor

See also the faster WebTopicList