O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

Dissertação apresentada para obtenção do grau de Mestre em Automação, Instrumentação e Controlo, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor António José Pessoa de Magalhães

Zugl.: Aachen, Techn. Hochsch., Diss., 2007.

caT, a Petri net-based hypertext system, supports the modeling of user characteristics, contextual information, as well as the policies that govern the operation of a digital library within the infrastructure that presents its contents. Traditionally, users have created caT networks from scratch, thus limiting their use to small collections. In this research, we introduce TcAT, a new authoring tool that supports features for component-based authoring, with a view to enable the creation of large caT nets that can represent complex, real-life spaces such as libraries and museums. TcAT supports graphical, template-based creation of nets as well as a textual language for easy manipulation of large structures. It implements composition operations from Petri net theory to select, categorize, and modify existing net fragments as building blocks for composing larger networks. Authors may switch modes between visual and textual authoring at will, thus combining the strengths of expressing large nets textually and selecting net fragments via point-and-click interaction. A user evaluation of the new authoring mechanisms suggests that this is a promising tool for improving the efficiency of experienced users as well as that of novice users, who are unfamiliar with the Petri net formalism.

No description available.

With load growth of distribution systems, it becomes very complicated for dispatchers to obtain restoration plan for unfaulted but out-of-service areas. In this thesis, a rule-based expert system with a colored Petri net (CPN) inference model is developed. The CPN models of distribution components such as four-way line switches are proposed to derive the proper switching operation plan for service restoration by applying reasoning in the CPN. After main transformer contingency has been identified and isolated, it is highly possible that the out of service customers can not be restored completely because of the shortage of capacity reserve. The feeders which serve more key customers with higher service priority will have better chance to be selected for restoration. With the system reconfiguration to cover the load change of service zones over a longer period, during the process of switching operation, the maximum load demand of out-of-service area over the restoration time is considered in the CPN. To prevent the over-unbalance tripping of distribution feeders during switching operation process, the maximum tolerable current unbalance between any two phases is also considered in the CPN model. To assure the restoration plan complying with the operation regulation, heuristic rules based on the standard operation procedures of Taipower distribution system are included in the best first search of the CPN. A Taipower distribution system with 67 feeders is selected for computer simulation in this thesis to demonstrate the effectiveness of the proposed methodology. It is found that the service restoration of distribution systems can be obtained very efficiently by applying the proposed CPN model.

Thèse de doctorat--Informatique et réseaux--Paris--ENST, 2006. / Bibliogr. p. 177-184. Résumé en français et en anglais.

Thèse de doctorat : Informatique : Paris 12 : 2004. / Titre provenant de l'écran-titre.

Zugl.: Braunschweig, Techn. Univ., Diss., 2006

Reproduction de : Thèse de doctorat : Systèmes informatiques : Toulouse, INPT : 2007. / Titre provenant de l'écran-titre. Bibliogr. 89 réf.