Displaying similar documents to “Formulation of Cell Petri Nets”

Cell Petri Net Concepts

Mitsuru Jitsukawa, Pauline Kawamoto, Yasunari Shidama, Yatsuka Nakamura (2009)

Formalized Mathematics

Similarity:

Based on the Petri net definitions and theorems already formalized in [8], with this article, we developed the concept of "Cell Petri Nets". It is based on [9]. In a cell Petri net we introduce the notions of colors and colored states of a Petri net, connecting mappings for linking two Petri nets, firing rules for transitions, and the synthesis of two or more Petri nets.MML identifier: PETRI 2, version: 7.11.01 4.117.1046

On some remarkable properties of the two-dimensional Hammersley point set in base 2

Peter Kritzer (2006)

Journal de Théorie des Nombres de Bordeaux

Similarity:

We study a special class of ( 0 , m , 2 ) -nets in base 2. In particular, we are concerned with the two-dimensional Hammersley net that plays a special role among these since we prove that it is the worst distributed with respect to the star discrepancy. By showing this, we also improve an existing upper bound for the star discrepancy of digital ( 0 , m , 2 ) -nets over ℤ 2 . Moreover, we show that nets with very low star discrepancy can be obtained by transforming the Hammersley point set in a suitable way. ...

On the global dynamics of the cancer AIDS-related mathematical model

Konstantin E. Starkov, Corina Plata-Ante (2014)

Kybernetika

Similarity:

In this paper we examine some features of the global dynamics of the four-dimensional system created by Lou, Ruggeri and Ma in 2007 which describes the behavior of the AIDS-related cancer dynamic model in vivo. We give upper and lower ultimate bounds for concentrations of cell populations and the free HIV-1 involved in this model. We show for this dynamics that there is a positively invariant polytope and we find a few surfaces containing omega-limit sets for positive half trajectories...