http://comum.rcaap.pt/handle/123456789/675 2013-05-21T15:05:27Z 2013-05-21T15:05:27Z Barros, João Paulo Jørgensen, Jens Bæk http://comum.rcaap.pt/handle/123456789/1553 2011-11-03T02:14:18Z 2005-01-01T00:00:00Z

Title: A Case Study on Coloured Petri Nets in object-oriented analysis and design Authors: Barros, João Paulo; Jørgensen, Jens Bæk Abstract: In this paper,we first demonstrate how a coloured Petri nets(CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN models reduce the gap between user-level requirements and the respective implementation, thus simplifying the imple- mentation or code generation. Finally, we discuss the code generation from object-oriented CPN models. Description: Selected Papers of the Second International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'05), June 6, 2005, Rennes, France.

2005-01-01T00:00:00Z Barros, João Paulo Gomes, Luís http://comum.rcaap.pt/handle/123456789/1552 2011-11-03T02:14:18Z 2007-10-01T00:00:00Z

Title: On the use of programming languages for textual specification of Petri Net Models Authors: Barros, João Paulo; Gomes, Luís Abstract: As a general interchange format for Petri net models, the Petri Net Markup Language (PNML) allows the specification of Petri net models for all Petri net classes. Those models are typically generated by graphical editors for each Petri net type. Yet, there is no general way to specify Petri net models in a human-friendly textual notation. Instead of proposing a standard for such textual notation, this paper proposes the use of popular general purpose programming languages for the creation and modification of net models defined using PNML. To that end, the paper presents a model for the concepts, and the respective inter- relations, that should be available to define Petri net models in a compact textual format. After, it presents a general framework to specify model composition, using node fusion, for any Petri net class. The framework allows the specification of node fusions and node refinements based on the specification of fusions for each node and net label. The labels’ fusions are defined through the implementation of an abstract data type for the respective Petri net type definition. This allows a general support for model structuring, where several well-known graphical conveniences, e.g. node references and synchronous channels, can be supported and seen as particular cases. Description: O presente artigo revê e aprofunda o artigo intitulado Towards a Human-Friendly Textual Language for Petri Nets, apresentado no Workshop on Petri Net Standards 2007.

2007-10-01T00:00:00Z Borralho, Maria Teresa Gimeno, Olga Rivas, Javier Carbajo, Maria http://comum.rcaap.pt/handle/123456789/1550 2011-11-03T02:14:16Z 2009-09-01T00:00:00Z

Title: Catalytic decomposition of potassium monopersulfate: influence of variables Authors: Borralho, Maria Teresa; Gimeno, Olga; Rivas, Javier; Carbajo, Maria Abstract: Potassium monopersulfate has been decomposed in aqueous solution in the presence of Co(II). The effect of the main operating variables has been assessed. Minimum variations in pH exert a considerable influence on the process kinetics. Thus, when no pH adjustment is considered, the actual effect of variables like initial monopersulfate and/or catalyst concentration may be hindered. As expected, temperature enhances the monopersulfate decomposition rate by following the Arrhenius law. The activation energy in the proximity of 85 kJ/mol has been obtained. Amongst the different solids tested in the monopersulfate decomposition, only the perovskite LaTi0.15Cu0.85O3 has shown a significant catalytic activity.

2009-09-01T00:00:00Z Borralho, Maria Teresa Gimeno, Olga Rivas, Javier Carbajo, Maria http://comum.rcaap.pt/handle/123456789/1334 2011-09-28T01:14:13Z 2009-09-01T00:00:00Z

Title: Catalytic decomposition of potassium monopersulfate: the kinetics Authors: Borralho, Maria Teresa; Gimeno, Olga; Rivas, Javier; Carbajo, Maria Abstract: Potassium monopersulfate has been decomposed in aqueous solution in the presence of Co(II). The process has been simulated by means of a mechanism based on elementary reactions. Rate constants have been taken from literature reports or, alternatively, assimilated to analogous reactions occurring in Fenton´s chemistry. Several operating conditions have been successfully applied.

2009-09-01T00:00:00Z