The proceedings contain 22 papers. The special focus in this conference is on Applications and Theory of Petri Nets. The topics include: Kronecker algebra and (stochastic) petri nets;the flux of interaction;towards a ...
ISBN:
(纸本)3540422528
The proceedings contain 22 papers. The special focus in this conference is on Applications and Theory of Petri Nets. The topics include: Kronecker algebra and (stochastic) petri nets;the flux of interaction;towards a notion distributed time for petri nets;identifying commonalities and differences in object life cycles using behavioral inheritance;timed petri nets and BQOs;CPN/tools;petri net based design and implementation methodology for discrete event control systems;condensed state spaces for timed petri nets;unfolding of products of symmetrical petri nets;unfolding of products of symmetrical petri notes;partial order verification of programmable logic controllers;structural characterization and qualitative properties of product form stochastic petri notes;generalized conditions for liveness enforcement and deadlock prevention in petri nets;a concurrent semantics of static exceptions in a parallel programming language;modelling the structure and behaviour of petri net agents;model checking LTL properties of high-level petri nets with fairness constraints;incremental state space construction for coloured petri nets;optimising enabling tests and unfoldings of algebraic system nets;extending the petri box calculus with time;abstractions and partial order reductions for checking branching properties of time petri nets and rewriting logic and elan and partial S-invariants for the verification of infinite systems families.
In a competitive electricity market, generating companies (GENCOs) have to sell their output by presenting bids on the market. A pure operating costs optimization will not be enough as bidding strategies definition re...
详细信息
ISBN:
(纸本)0780366816
In a competitive electricity market, generating companies (GENCOs) have to sell their output by presenting bids on the market. A pure operating costs optimization will not be enough as bidding strategies definition requires GENCO to consider other factors such as market structure and its interrelationships, demand forecast level and competitor behavior. Hourly supply curves are the final output of an operation planning decision support model, which is hierarchically articulated in long, medium and short-term components. This paper presents DESPOT (DEcision-support Simulator for POwer Trading), a short-term wholesale electricity market simulation tool that provides unit commitment, system hourly prices, profit and expected bid for a GENCO. The model provides a detailed Italian generation system representation and a market structure based on the rules established by the Italian decree 79/99, which has introduced competition in Italy. A simplified version of the global model is presented and results of the simulations are also provided. Notwithstanding the generation capacity reduction of the dominant GENCO imposed by the Italian law, preliminary results seem to show that the market power of the generation companies is still considerable and this might strongly influence the energy prices.
As a key player in the emerging energy markets in the Pacific North West, Bonneville Power Administration's emerging GenCo operations are transforming their scheduling and planning functions based on the consolida...
详细信息
ISBN:
(纸本)0780366816
As a key player in the emerging energy markets in the Pacific North West, Bonneville Power Administration's emerging GenCo operations are transforming their scheduling and planning functions based on the consolidation of a complex array of legacy computer models and manual processes into a single cross-functional application. The authors present a case history of the methods and analysis used for model definition, procurement project management, integration with systems supporting real-time trading and scheduling, and concurrent organizational improvements. Bonneville markets the power produced from 17,000 MW of hydroelectric and 1,100 MW of nuclear capacity in a planning and scheduling environment that is characterized by highly constrained fishery operations, volatile market prices, system reliability concerns, and efficiency improvement targets. Using advanced linear programming techniques, the new system will incorporate commercial, operational, and environmental objectives by (1) consolidating five legacy models;(2) modeling 40 plus system constraints and 70 plus hydroelectric plants;(3) considering ancillary services and transmission;and (5) optimizing revenue. BPA plans on using this application to realize significant operational improvements and to fortify its position as an effective player in the increasingly competitive markets of the CAISO and emerging RTO West. Lessons learnt are related to industry technology drivers and trends for complex modeling systems.
We investigate a Rough Set approach to treating imperfect data in Inductive logicprogramming. Due to the generality of the language, we base our approach on neighborhood systems. A first-order decision system is intr...
详细信息
This paper aims at introducing a mechanism of exceptions in a parallel programming language, giving them a formal concurrent semantics in terms of preemptible and composable high-level Petri nets. We show that, combin...
详细信息
Rewriting logic (RL) is an extension of standard algebraic specification techniques which uses rewrite rules to model the dynamic behaviour of a system. In this paper we consider using RL and the associated support to...
详细信息
Testing of modem microprocessor based transmission line protection relays with communication accelerated schemes requires excellent understanding of the logic of the particular scheme being tested. These-relays operat...
详细信息
ISBN:
(纸本)0780366816
Testing of modem microprocessor based transmission line protection relays with communication accelerated schemes requires excellent understanding of the logic of the particular scheme being tested. These-relays operate based on the state of multiple monitored signals, such as permissive signals, breaker status signals, and communication channel status signals. Time coordination of these signals and synchronization with the prefault and fault analog signals is. required in order to perform adequate testing of this type of schemes. The paper discusses the challenges in the testing of communication based schemes in transmission line protection relays. It introduces the concept of an automated "point-and-click" test process that allows a dramatic reduction in the time to test such complex logic.
Deregulation of the electricity supply industry is promoting the increased use of electrical energy storage. However, to achieve the system-wide benefits of competition, techniques for optimal scheduling of distribute...
详细信息
ISBN:
(纸本)0780366816
Deregulation of the electricity supply industry is promoting the increased use of electrical energy storage. However, to achieve the system-wide benefits of competition, techniques for optimal scheduling of distributed storage resources are required. In this paper, we use constructive evolutionary programming to minimise the cost of operating a power system with multiple distributed energy storage resources. The evolutionary technique combines the advantages of both dynamic and evolutionary programming by evolving piecewise linear convex cost-to-go functions (i.e. the storage content value curves). The multi-stage scheduling problem is thus decomposed into many smaller one-stage sub-problems with evolved cost-to-go functions. Evolutionary programming is shown to be suitable for both decentralised computing and for market applications. Case studies demonstrate that the technique is robust and efficient for this type of scheduling problem.
暂无评论