Extended colored Petri net: An efficient tool for analyzing concurrent systems

This paper proposes a novel and simple definition of general colored Petri nets. This definition is coherent with that of (uncolored) Petri nets, preserves the reflexivity of the original net and is extended to represent inhibitors. Also suggested are systematic and formal merging rules to obtain a well-formed structure of the extended colored Petri net by folding a given uncolored net. Finally, we present a technique to compute colored invariants by selecting colored RP-subnets. On the average, the proposed technique performs better than the existing ones. The analysis procedure is explained through an illustrative example of a three-level interrupt-priority-handler scheme.

The Church and Its Boundaries : A Study of the Special Commission on Orthodox Participation in the WCC

The relationship between the Orthodox Churches and the World Council of Churches (WCC) became a crisis just before the 8th Assembly of the WCC in Harare, Zimbabwe in 1998. The Special Commission on Orthodox Participation in the WCC (SC), inaugurated in Harare, worked during the period 1999 2002 to solve the crisis and to secure the Orthodox participation in the WCC. The purpose of this study is: 1) to clarify the theological motives for the inauguration of the SC and the theological argumentation of the Orthodox criticism; 2) to write a reliable history and analysis of the SC; 3) to outline the theological argumentation, which structures the debate, and 4) to investigate the ecclesiological questions that arise from the SC material. The study spans the years 1998 to 2006, from the WCC Harare Assembly to the Porto Alegre Assembly. Hence, the initiation and immediate reception of the Special Commission are included in the study. The sources of this study are all the material produced by and for the SC. The method employed is systematic analysis. The focus of the study is on theological argumentation; the historical context and political motives that played a part in the Orthodox-WCC relations are not discussed in detail. The study shows how the initial, specific and individual Orthodox concerns developed into a profound ecclesiological discussion and also led to concrete changes in WCC practices, the best known of which is the change to decision-making by consensus. The Final Report of the SC contains five main themes, namely, ecclesiology, decision-making, worship/common prayer, membership and representation, and social and ethical issues. The main achievement of the SC was that it secured the Orthodox membership in the WCC. The ecclesiological conclusions made in the Final Report are twofold. On the one hand, it confirms that the very act of belonging to the WCC means the commitment to discuss the relationship between a church and churches. The SC recommended that baptism should be added as a criterion for membership in the WCC, and the member churches should continue to work towards the mutual recognition of each other s baptism. These elements strengthen the ecclesiological character of the WCC. On the other hand, when the Final Report discusses common prayer, the ecclesiological conclusions are much more cautious, and the ecclesiological neutrality of the WCC is emphasized several times. The SC repeatedly emphasized that the WCC is a fellowship of churches. The concept of koinonia, which has otherwise been important in recent ecclesiological questions, was not much applied by the SC. The comparison of the results of the SC to parallel ecclesiological documents of the WCC (Nature and Mission of the Church, Called to Be the One Church) shows that they all acknowledge the different ecclesiological starting points of the member churches, and, following that, a variety of legitimate views on the relation of the Church to the churches. Despite the change from preserving the koinonia to promises of eschatological koinonia, all the documents affirm that the goal of the ecumenical movement is still full, visible unity.

S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms

A new class of nets, called S-nets, is introduced for the performance analysis of scheduling algorithms used in real-time systems Deterministic timed Petri nets do not adequately model the scheduling of resources encountered in real-time systems, and need to be augmented with resource places and signal places, and a scheduler block, to facilitate the modeling of scheduling algorithms. The tokens are colored, and the transition firing rules are suitably modified. Further, the concept of transition folding is used, to get intuitively simple models of multiframe real-time systems. Two generic performance measures, called �load index� and �balance index,� which characterize the resource utilization and the uniformity of workload distribution, respectively, are defined. The utility of S-nets for evaluating heuristic-based scheduling schemes is illustrated by considering three heuristics for real-time scheduling. S-nets are useful in tuning the hardware configuration and the underlying scheduling policy, so that the system utilization is maximized, and the workload distribution among the computing resources is balanced.

Petri net-based modeling of a class of complex digital systems

We present through the use of Petri Nets, modeling techniques for digital systems realizable using FPGAs. These Petri Net models are used for logic validation at the logic design phase. The technique is illustrated by modeling practical circuits. Further, the utility of the technique with respect to timing analysis of the modeled digital systems is considered. Copyright (C) 1997 Elsevier Science Ltd

Coloured Petri net models for automated manufacturing systems

In this paper, we propose an approach, using Coloured Petri Nets (CPN) for modelling flexible manufacturing systems. We illustrate our methodology for a Flexible Manufacturing Cell (FMC) with three machines and three robots. We also consider the analysis of the FMC for deadlocks using the invariant analysis of CPNs.

Multi-decadal variation of the net downward shortwave radiation over south Asia: The solar dimming effect

The solar radiation flux at the earth's surface has gone through decadal changes of decreasing and increasing trends over the globe. These phenomena known as dimming and brightening, respectively, have attracted the scientific interest in relation to the changes in radiative balance and climate. Despite the interest in the solar dimming/brightening phenomenon in various parts of the world, south Asia has not attracted great scientific attention so far. The present work uses the net downward shortwave radiation (NDSWR) values derived from satellites (Modern Era Retrospective-analysis for Research and Applications, MERRA 2D) in order to examine the multi-decadal variations in the incoming solar radiation over south Asia for the period of 1979-2004. From the analysis it is seen that solar dimming continues over south Asia with a trend of -0.54 Wm(-2) yr(-1). Assuming clear skies an average decrease of -0.05 Wm(-2)yr(-1) in NDSWR was observed, which is attributed to increased aerosol emissions over the region. There is evidence that the increase in cloud optical depth plays the major role for the solar dimming over the area. The cloud optical depth (MERRA retrievals) has increased by 10.7% during the study period, with the largest increase to be detected for the high-level (atmospheric pressure P < 400 hPa) clouds (31.2%). Nevertheless, the decrease in solar radiation and the role of aerosols and clouds exhibit large monthly and seasonal variations directly affected by the local monsoon system, the anthropogenic and natural aerosol emissions. All these aspects are examined in detail aiming at shedding light into the solar dimming phenomenon over a densely populated area. (C) 2011 Elsevier Ltd. All rights reserved.

Petri net based performance modeling for effective DVFS for multithreaded programs

Dynamic Voltage and Frequency Scaling (DVFS) is a very effective tool for designing trade-offs between energy and performance. In this paper, we use a formal Petri net based program performance model that directly captures both the application and system properties, to find energy efficient DVFS settings for CMP systems, that satisfy a given performance constraint, for SPMD multithreaded programs. Experimental evaluation shows that we achieve significant energy savings, while meeting the performance constraints.

Effect of Net-Fluence on waveguide formation in ultrafast laser inscribed chalcogenide glass

Waveguides were fabricated on GeGaSEr chalcogenide glass using ultrafast laser inscription method. The thermal diffusion model is discussed for understanding the light matter interaction and shown the effect of net-fluence in waveguide formation on chalcogenide glass. (C) 2012 Optical Society of America