Extensible Structural Analysis of Petri Net Product Lines

2021 ◽  
pp. 27-49
Author(s):  
Elena Gómez-Martínez ◽  
Juan de Lara ◽  
Esther Guerra
Keyword(s):  
Structural Analysis ◽  
Petri Net ◽  
Product Lines

A method for structural analysis of Petri net models

2002 ◽  
Author(s):  
Yigang Cai ◽  
T. Sekiguchi ◽  
H. Tanaka ◽  
M. Hikichi ◽  
Y. Maruyama
Keyword(s):  
Structural Analysis ◽  
Petri Net

scholarly journals Structural analysis of a Petri net model of oxidative stress in atherosclerosis

2018 ◽  
Vol 12 (3) ◽  
pp. 108-117
Author(s):  
Adam Kozak ◽  
Dorota Formanowicz ◽  
Piotr Formanowicz
Keyword(s):  
Oxidative Stress ◽  
Structural Analysis ◽  
Petri Net

MODELING AND ANALYZING BIOLOGICAL SYSTEMS USING COLORED HIERARCHICAL PETRI NETS ILLUSTRATED BYC. ELEGANSVULVAL DEVELOPMENT

2014 ◽  
Vol 22 (03) ◽  
pp. 463-493 ◽  
Author(s):  
FEI LIU ◽  
MONIKA HEINER ◽  
MING YANG
Keyword(s):  
Structural Analysis ◽  
Model Checking ◽  
Petri Nets ◽  
Petri Net ◽  
Large Scale ◽  
Biological Systems ◽  
Colored Petri Nets ◽  
Biological Models ◽  
Vulval Development ◽  
Continuous Simulation

Colored Petri nets allow compact, parameterizable and scalable representations of large-scale biological models by encoding, e.g., species as colored tokens, and offer a variety of analysis techniques, e.g., structural analysis, simulation and model checking to analyze biological models. However, so far colored Petri nets have not been widely used and well explored in systems biology. In this paper, we aim to present a systematic approach to modeling and analyzing complex biological systems using colored Petri nets in order to help biologists to easily use them. We first describe a framework comprising a family of related colored Petri nets: colored qualitative Petri net (𝒬𝒫𝒩𝒞), colored stochastic Petri net (𝒮𝒫𝒩𝒞) and colored continuous Petri net (𝒞𝒫𝒩𝒞). They share structure, but are specialized by their kinetic information. Based on this framework, we present our colored Petri net approach to modeling and analyzing complex biological systems. First a biological system is modeled as a hierarchical 𝒬𝒫𝒩𝒞model, animated and analyzed by structural analysis; then it is converted into a 𝒮𝒫𝒩𝒞or 𝒞𝒫𝒩𝒞model, to be further analyzed using stochastic or continuous simulation, and simulative or numerical model checking. We demonstrate this approach using a nontrivial example, Caenorhabditis elegans vulval development.

Structural analysis of the surface-layer protein of spirillum serpens by high-resolution electron microscopy

1983 ◽  
Vol 41 ◽  
pp. 738-739
Author(s):  
W. H. Wu ◽  
R. M. Glaeser
Keyword(s):  
Electron Microscopy ◽  
Surface Layer ◽  
Structural Analysis ◽  
High Resolution ◽  
Low Dose ◽  
High Resolution Electron Microscopy ◽  
Optical Diffraction ◽  
Surface Layer Protein ◽  
Morphological Unit ◽  
Resolution Electron

Spirillum serpens possesses a surface layer protein which exhibits a regular hexagonal packing of the morphological subunits. A morphological model of the structure of the protein has been proposed at a resolution of about 25 Å, in which the morphological unit might be described as having the appearance of a flared-out, hollow cylinder with six ÅspokesÅ at the flared end. In order to understand the detailed association of the macromolecules, it is necessary to do a high resolution structural analysis. Large, single layered arrays of the surface layer protein have been obtained for this purpose by means of extensive heating in high CaCl2, a procedure derived from that of Buckmire and Murray. Low dose, low temperature electron microscopy has been applied to the large arrays.As a first step, the samples were negatively stained with neutralized phosphotungstic acid, and the specimens were imaged at 40,000 magnification by use of a high resolution cold stage on a JE0L 100B. Low dose images were recorded with exposures of 7-9 electrons/Å2. The micrographs obtained (Fig. 1) were examined by use of optical diffraction (Fig. 2) to tell what areas were especially well ordered.

RNA polymerase: Preparation and structural analysis of helical polymers

1984 ◽  
Vol 42 ◽  
pp. 152-153
Author(s):  
E. Loren Buhle ◽  
Pamela Rew ◽  
Ueli Aebi
Keyword(s):  
Structural Analysis ◽  
Rna Polymerase ◽  
Molecular Level ◽  
X Ray Diffraction ◽  
Helical Polymers ◽  
X Ray ◽  
E Coli ◽  
The Past ◽  
Ordered Arrays ◽  
Low Ionic Strength

While DNA-dependent RNA polymerase represents one of the key enzymes involved in transcription and ultimately in gene expression in procaryotic and eucaryotic cells, little progress has been made towards elucidation of its 3-D structure at the molecular level over the past few years. This is mainly because to date no 3-D crystals suitable for X-ray diffraction analysis have been obtained with this rather large (MW ~500 kd) multi-subunit (α2ββ'ζ). As an alternative, we have been trying to form ordered arrays of RNA polymerase from E. coli suitable for structural analysis in the electron microscope combined with image processing. Here we report about helical polymers induced from holoenzyme (α2ββ'ζ) at low ionic strength with 5-7 mM MnCl2 (see Fig. 1a). The presence of the ζ-subunit (MW 86 kd) is required to form these polymers, since the core enzyme (α2ββ') does fail to assemble into such structures under these conditions.

Sign in / Sign up

Export Citation Format

Share Document