The starting point of this paper is the asynchronous box calculus with multiway communication (MBC), a formalism suitable for modelling compositionally distributed systems using both synchronous and asynchronous communication and a number of control flow operators. MBC is composed of two semantically consistent models: an algebra of lowlevel Petri nets and an associate algebra of process terms ...

Valmari’s Stubborn Sets method is a member of the so-called partial order methods. These techniques are usually based on a selective search algorithm: at each state processed during the search, a stubborn set is calculated and only the enabled transitions of this set are used to generate the successors of the state. The computation of stubborn sets requires to detect dependencies between transi...

We propose a concurrent semantics for concurrent constraint (cc) programs. A contextual net, that is a net with context conditions, besides pre-and post-conditions, is associated to each cc program. Context conditions are items which have to be present in order for an event to take place, but which are not aaected by the event. They are very useful for describing situations where diierent event...

RATIONALE Rectal neuroendocrine tumor (NET) is a relatively rare tumor. Well-differentiated NETs (G1 and G2) rarely display distant metastasis at initial diagnosis. Currently, treatment for the primary lesions of rectal NETs with liver metastasis remains controversial. The liver metastasis was resected in local hospital. Transanal endoscopic microsurgery (TEM) has emerged as an effective minima...

A signed graph is a graph where the edges are assigned either positive ornegative signs. Net degree of a signed graph is the dierence between the number ofpositive and negative edges incident with a vertex. It is said to be net-regular if all itsvertices have the same net-degree. Laplacian energy of a signed graph is defined asε(L(Σ)) =|γ_1-(2m)/n|+...+|γ_n-(2m)/n| where γ_1,...,γ_n are the ei...

This work proposes an approach for course modeling using Petri nets. The proposed modeling method can be applied to support development of e-learning platforms (namely learning management systems LMS) allowing student guidance when considering reaching a specific goal. This goal could be as simple as getting a set of sequential courses (or a degree), or as complex as combining different modules...

We develop a unit commitment and economic dispatch model to estimate the operation costs and the air emissions externality costs attributable to new electric vehicle electricity demand under controlled vs uncontrolled charging schemes. We focus our analysis on the PJM Interconnection and use scenarios that characterize (1) the most recent power plant fleet for which sufficient data are availabl...

Based on cellular automaton and multi-agent model, we propose a novel hybrid model for distributed simulation of train-group in the railway traffic. An improved cellular automaton model is designed for simulating the underlying structure of the railroad and a multi-agent model is used for dynamic scheduling of the train-group. The combination of both models answers for the distributed simulatio...

Power networks with multiple microgrids require more flexibility and versatility in their coordination tools and decision-making tools from both technical and economical points of view. In particular, the microgrids involve a high penetration of variable energy resources which motivates the need for new coordination and control approaches. In this paper, some of the literature gaps with respect...