The paper deals with an algebraic semantics for Petri nets, based on a process algebra APC (Algebra of Process Components) by the authors. APC is tailored especially for describing processes in Petri nets. This is done by assigning special variables (called E-variables here) to every place of given Petri net, expressing processes initiated in those places. Algebraic semantics is then given as a...

A salt metathesis reaction is a chemical process involving the exchange of bonds between two reacting chemical species, which results in the creation of products with similar or identical bonding affiliations. Hyperstructure theory is studied from the theoretical point of view and for its applications. In this paper, we provide some examples of hyperstructures associated with salt m...

This paper deals with the coordinated controller design for a certain kind of cooperative manipulation of an unstable object with multiple robotic manipulators. Based on the system description in the framework of differential-algebraic equations (DAEs), control problems of the object manipulation with a single and two manipulators are formulated. By characterizing a hand-over operation as a res...

Descriptor systems consisting of a large number of differential-algebraic equations (DAEs) usually arise from the discretization of partial differential-algebraic equations. This paper presents an efficient algorithm for solving the coupled Sylvester equation that arises in converting a system of linear DAEs to ordinary differential equations. A significant computational advantage is obtained b...

In the present paper we introduce a new class of methods, Projected RungeKutta methods, for the solution of index 3 differential algebraic equations (DAEs) in Hessenberg form. The methods admit the integration of index 3 DAEs without any drift effects. This makes them particularly well suited for long term integration. Finally, implemented on the basis of the Radau5 code, the projected Runge-Ku...