TWiki's Education/PeC webThe Education/PeC web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise.http://wiki.di.uminho.pt/twiki/bin/view/Education/PeCCopyright 2020 by contributing authors2020-10-29T15:24:36ZWebStatisticshttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebStatistics2020-10-29T15:24:36ZStatistics for Education/PeC Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)TWikiGuestIeC1415http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC14152016-09-26T21:37:39ZInteracçã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)LuisSoaresBarbosaIeC1314http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC13142015-02-18T01:22:52ZInteracçã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)LuisSoaresBarbosaPeC1213http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC12132015-02-18T01:12:11ZProcessos 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)LuisSoaresBarbosaWebSideBarhttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebSideBar2015-02-18T00:33:11ZEdições 2014 15 2013 14 2012 13 2011 12 2010 11 2009 10 PeC0708 2007 08 (last changed by LuisSoaresBarbosa)LuisSoaresBarbosaIeC1213http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/IeC12132014-09-19T23:23:31ZInteracçã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)LuisSoaresBarbosaPeC1112http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC11122012-09-15T20:51:58ZProcessos 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)LuisSoaresBarbosaPeC1011http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC10112011-07-27T00:11:52ZProcessos 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)LuisSoaresBarbosaPeC0910http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC09102011-03-13T02:08:25ZProcessos 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)LuisSoaresBarbosaAvisos0910http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos09102010-06-25T00:52:08Z20 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)LuisSoaresBarbosaWebHomehttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/WebHome2010-03-19T11:13:03ZO 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)LuisSoaresBarbosaPeC0708http://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/PeC07082010-02-21T20:01:06ZProcessos 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)LuisSoaresBarbosaCalendariohttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Calendario2010-02-21T18:05:11Z (last changed by LuisSoaresBarbosa)LuisSoaresBarbosaProjectoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Projectos2010-02-21T17:12:17ZPipe2smv 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)LuisSoaresBarbosaAvisoshttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/Avisos2008-07-24T17:41:04Z24 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)AlcinoCunhaMaterialApoiohttp://wiki.di.uminho.pt/twiki/bin/view/Education/PeC/MaterialApoio2008-06-13T14:07:26ZRedes 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)LuisSoaresBarbosa