Displaying similar documents to “Cell Petri Net Concepts”

Formulation of Cell Petri Nets

Mitsuru Jitsukawa, Pauline N. Kawamoto, Yasunari Shidama (2013)

Formalized Mathematics

Similarity:

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition...

The Formalization of Decision-Free Petri Net

Pratima K. Shah, Pauline N. Kawamoto, Mariusz Giero (2014)

Formalized Mathematics

Similarity:

In this article we formalize the definition of Decision-Free Petri Net (DFPN) presented in [19]. Then we formalize the concept of directed path and directed circuit nets in Petri nets to prove properties of DFPN. We also present the definition of firing transitions and transition sequences with natural numbers marking that always check whether transition is enabled or not and after firing it only removes the available tokens (i.e., it does not remove from zero number of tokens). At the...

Labelled State Transition Systems

Michał Trybulec (2009)

Formalized Mathematics

Similarity:

This article introduces labelled state transition systems, where transitions may be labelled by words from a given alphabet. Reduction relations from [4] are used to define transitions between states, acceptance of words, and reachable states. Deterministic transition systems are also defined.

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...