http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC The Education/PeC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2020 by contributing authors TWiki Administrator [webmaster@di.uminho.pt] The contributing authors of TWiki TWiki http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC http://wiki.di.uminho.pt/twiki/pub/Main/LocalLogos/um_eengP.jpg http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1415 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 ... (last changed by LuisSoaresBarbosa) 2016-09-26T21:37:39Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1314 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 ... (last changed by LuisSoaresBarbosa) 2015-02-18T01:22:52Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1213 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 ... (last changed by LuisSoaresBarbosa) 2015-02-18T01:12:11Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebSideBar Edições 2014 15 2013 14 2012 13 2011 12 2010 11 2009 10 PeC0708 2007 08 (last changed by LuisSoaresBarbosa) 2015-02-18T00:33:11Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC1213 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 ... (last changed by LuisSoaresBarbosa) 2014-09-19T23:23:31Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1112 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 ... (last changed by LuisSoaresBarbosa) 2012-09-15T20:51:58Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC1011 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 ... (last changed by LuisSoaresBarbosa) 2011-07-27T00:11:52Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC0910 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 ... (last changed by LuisSoaresBarbosa) 2011-03-13T02:08:25Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos0910 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, ... (last changed by LuisSoaresBarbosa) 2010-06-25T00:52:08Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebHome 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 ... (last changed by LuisSoaresBarbosa) 2010-03-19T11:13:03Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC0708 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 ... (last changed by LuisSoaresBarbosa) 2010-02-21T20:01:06Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Calendario (last changed by LuisSoaresBarbosa) 2010-02-21T18:05:11Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Projectos 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 ... (last changed by LuisSoaresBarbosa) 2010-02-21T17:12:17Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos 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 ... (last changed by AlcinoCunha) 2008-07-24T17:41:04Z AlcinoCunha http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/MaterialApoio Redes de Petri Lógica Temporal Bibliografia Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications . Claude Girault and Rüdiger ... (last changed by LuisSoaresBarbosa) 2008-06-13T14:07:26Z LuisSoaresBarbosa http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Funcionamento Equipa docente Alcino Cunha: Redes de Petri Lógica Temporal. Soares Barbosa: Álgebra de Processos. Avaliação Cada aluno deve escolher um dos seguintes ... (last changed by AlcinoCunha) 2008-06-02T13:42:35Z AlcinoCunha