Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis

In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component is synthesisable iff so is the original system. Then corresponding Petri Net composition operators are searched to combine the solutions of the various components into a solution of the original system. The paper presents two such techniques, which may be combined: products and articulations. They may also be used to structure transition systems, and to analyse the performance of synthesis techniques when applied to such structures.

On composition operators of Fibonacci matrix and applications of Hausdorff measure of noncompactness

The aim of the paper is introduced the composition of the two infinite matrices $\Lambda=(\lambda_{nk})$ and $\widehat{F}=\left( f_{nk} \right).$ Further, we determine the $\alpha$-, $\beta$-, $\gamma$-duals of new spaces and also construct the basis for the space $\ell_{p}^{\lambda}(\widehat{F}).$ Additionally, we characterize some matrix classes on the spaces $\ell_{\infty}^{\lambda}(\widehat{F})$ and $\ell_{p}^{\lambda}(\widehat{F}).$ We also investigate some geometric properties concerning Banach-Saks type $p.$Finally we characterize the subclasses $\mathcal{K}(X:Y)$ of compact operators by applying the Hausdorff measure of noncompactness, where $X\in\{\ell_{\infty}^{\lambda}(\widehat{F}),\ell_{p}^{\lambda}(\widehat{F})\}$ and $Y\in\{c_{0},c, \ell_{\infty}, \ell_{1}, bv\},$ and $1\leq p<\infty.$

Isometries of the product of composition operators on weighted Bergman space

In this paper, the necessary and sufficient conditions for the product of composition operators to be isometry are obtained on weighted Bergman space. With the help of a counter example we also proved that unlike on [Formula: see text] and [Formula: see text] the composition operator on [Formula: see text] induced by an analytic self-map on [Formula: see text] with fixed origin need not be of norm one. We have generalized the Schwartz’s [Composition operators on [Formula: see text], thesis, University of Toledo (1969)] well-known result on [Formula: see text] which characterizes the almost multiplicative operator on [Formula: see text]

FINITE SUM OF COMPOSITION OPERATORS ON FOCK SPACE

We investigate unbounded, linear operators arising from a finite sum of composition operators on Fock space. Real symmetry and complex symmetry of these operators are characterised.

The form of locally defined operators in waterman spaces

A representation formula for locally defined operators acting between Banach spaces of continuous functions of bounded variation in the Waterman sense is presented. Moreover, the Nemytskij composition operators will be investigated and some consequences for locally bounded as well as uniformly bounded local operators will be given.