grid computing is an emerging computing paradigm that will have significant impact on the next generation information infrastructure. due to the largeness and complexity of grid system, its quality of service, performance and reliability are difficult to model, analyze and evaluate. this paper proposes a virtual tree-structured model of the grid service. this model simplifies the physical struc...

The paper deals with the problem of translation of reachability graphs for place-transition and coloured Petri nets into the NuSMV language. The translation algorithms presented in the paper have been implemented as a part of the PetriNet2NuSMV tool so the translation is made automatically. The PetriNet2NuSMV tool works with reachability graphs generated by the TINA and CPN Tools software. Thus...

Route selection in Cognitive Packet Networks (CPN) occurs continuously for active flows and is driven by the users’ choice of a Quality of Service (QoS) goal. Because routing occurs concurrently to packet forwarding, CPN flows are able to better deal with unexpected variations in network status, while still achieving the desired QoS. Random neural networks (RNN) play a key role in CPN routing a...

Corticostriatal pyramidal cells are heterogeneous in the frontal cortex. Here, we show that subpopulations of corticostriatal neurons in the rat frontal cortex are selectively connected with each other based on their subcortical targets. Using paired recordings of retrogradely labeled cells, we investigated the synaptic connectivity between two projection cell types: those projecting to the pon...

Networked cooperative personnel and multiple manned/unmanned vehicles play important roles in the Future Combat System (FCS), Future Force Warrior, Future Special Operations Forces (SOF), Land Warrior and Homeland Defense applications. Multi-sensor fusion based navigation and high bandwidth wireless communications are two of the key techniques for these applications. The navigation system is re...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

Abstract High-level Petri nets such as coloured (CPNs) are characterized by the combination of and a high-level programming language. In CPNs CPN Tools, inscriptions (e.g. arc expressions guards) specified using Standard ML. The application simulation state space exploration for validating models traditionally focuses on behavioural properties related to net structure, i.e. places transitions. ...

The Generic Access Network (GAN) architecture is defined by the 3rd Generation Partnership Project (3GPP), and allows telephone services, such as SMS and voice-calls, to be accessed via generic IP networks. The main usage of this is to allow mobile phones to use WiFi in addition to the usual GSM network. The GAN specification relies on the Internet Protocol Security layer (IPSec) and the Intern...

Enterprise Integration Patterns are a collection of widely used patterns for integrating enterprise applications and business processes. These patterns informally represent typical design decisions for connecting enterprise applications. For the set of patterns collected by Hohpe and Woolf in “Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions” we presented ...

Optimal treatment of oncologic pain is a challenge to all professionals who deal with cancer and its complications. The management of upper abdominal pain is usually difficult and it is often refractory to conservative therapies. In this context, celiac plexus neurolysis (CPN) appears to be an important and indispensable tool because it alleviates pain, gives comfort to patients and is a safe p...