Here we present a new module concept for Petri nets that is based on the component concepts of Continuous Software Engineering (CSE). According to that concept two distinguished interfaces are required. These are import and export interfaces. The import describes the assumptions on the environment, e.g. in terms of used components. The export gives an abstraction of the functionality and presen...

Let $R$ be an arbitrary ring with identity and $M$ a right $R$-module with $S=$ End$_R(M)$. The module $M$ is called {it Rickart} if for any $fin S$, $r_M(f)=Se$ for some $e^2=ein S$. We prove that some results of principally projective rings and Baer modules can be extended to Rickart modules for this general settings.

In this paper, the notion of fully idempotent modules is defined and it is shown that this notion inherits most of the essential properties of the usual notion of von Neumann's regular rings. Furthermore, we introduce the dual notion of fully idempotent modules (that is, fully coidempotent modules) and investigate some properties of this class of modules.

in this paper, the notion of fully idempotent modules is defined and it is shown that this notion inherits most of the essential properties of the usual notion of von neumann's regular rings. furthermore, we introduce the dual notion of fully idempotent modules (that is, fully coidempotent modules) and investigate some properties of this class of modules.

 Let $R$ be a commutative ring with identity and $M$ be a finitely generated unital $R$-module. In this paper, first we give necessary and sufficient conditions that a finitely generated module to be a multiplication module. Moreover, we investigate some conditions which imply that the module $M$ is the direct sum of some cyclic modules and free modules. Then some properties of Fitting ideals o...

Large software systems are developed by composing multiple programs. If the programs manipulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, fil...

 Prime submodules and artinian prime modules are characterized. Furthermore, some previous results on prime modules and second modules are generalized.

Pull-stream is a JavaScript demand-driven functional design pattern based on callback functions that enables the creation and easy composition of independent modules that are used to create streaming applications. It is used in popular open source projects and the community around it has created over a hundred compatible modules. While the description of the pull-stream design pattern may seem ...

We study the notions of nuclearity and exactness for module maps on C∗-algebras which are C∗-module over another C∗-algebra with compatible actions examine finite approximation properties such C∗-modules. prove versions results Kirchberg Choi–Effros. As a concrete example, we extend dimensional reduced von Neumann algebras countable discrete groups to these operator inverse semigroups structure...