A linear characterization of the Petri net reachability space corresponding to bounded-length fireable transition sequences and its implications for the structural analysis of process-resource nets with acyclic, quasi-live and strongly reversible process subnets.

2006 ◽  
Author(s):  
S. Reveliotis
Keyword(s):  
Structural Analysis ◽  
Petri Net ◽  
Reversible Process

An Axiomatic Characterization of a Class of Petri Nets

1991 ◽  
Vol 14 (4) ◽  
pp. 477-491
Author(s):  
Waldemar Korczynski
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Axiomatic Characterization ◽  
Algebraic Characterization

In this paper an algebraic characterization of a class of Petri nets is given. The nets are characterized by a kind of algebras, which can be considered as a generalization of the concept of the case graph of a (marked) Petri net.

MECHANICAL CHARACTERIZATION OF MATERIALS AND DIAGNOSIS OF STRUCTURES BY INVERSE ANALYSES: SOME INNOVATIVE PROCEDURES AND APPLICATIONS

2014 ◽  
Vol 11 (03) ◽  
pp. 1343002 ◽  
Author(s):  
GIULIO MAIER ◽  
VLADIMIR BULJAK ◽  
TOMASZ GARBOWSKI ◽  
GIUSEPPE COCCHETTI ◽  
GIORGIO NOVATI
Keyword(s):  
Structural Analysis ◽  
Digital Image Correlation ◽  
Residual Stresses ◽  
Mechanical Characterization ◽  
Image Correlation ◽  
Alkali Silica Reaction ◽  
Compression Tests ◽  
Material Models ◽  
Characterization Of Materials

A survey is presented herein of some recent research contributions to the methodology of inverse structural analysis based on statical tests for diagnosis of possibly damaged structures and for mechanical characterization of materials in diverse industrial environments. The following issues are briefly considered: identifications of parameters in material models and of residual stresses on the basis of indentation experiments; mechanical characterization of free-foils and laminates by cruciform and compression tests and digital image correlation measurements; diagnosis, both superficially and in depth, of concrete dams, possibly affected by alkali-silica-reaction or otherwise damaged.

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 Functional Characterization of a Na+-Coupled Dicarboxylate Carrier Protein from Staphylococcus aureus

2005 ◽  
Vol 187 (15) ◽  
pp. 5189-5194 ◽  
Author(s):  
Jason A. Hall ◽  
Ana M. Pajor
Keyword(s):  
Staphylococcus Aureus ◽  
Structural Analysis ◽  
Transport Properties ◽  
Sequence Homology ◽  
Cytoplasmic Membrane ◽  
Functional Characterization ◽  
Carrier Protein ◽  
Dependent Manner ◽  
Reaction Sequence

ABSTRACT We have cloned and functionally characterized a Na+-coupled dicarboxylate transporter, SdcS, from Staphylococcus aureus. This carrier protein is a member of the divalent anion/Na+ symporter (DASS) family and shares significant sequence homology with the mammalian Na+/dicarboxylate cotransporters NaDC-1 and NaDC-3. Analysis of SdcS function indicates transport properties consistent with those of its eukaryotic counterparts. Thus, SdcS facilitates the transport of the dicarboxylates fumarate, malate, and succinate across the cytoplasmic membrane in a Na+-dependent manner. Furthermore, kinetic work predicts an ordered reaction sequence with Na+ (K 0.5 of 2.7 mM) binding before dicarboxylate (Km of 4.5 μM). Because this transporter and its mammalian homologs are functionally similar, we suggest that SdcS may serve as a useful model for DASS family structural analysis.

Sign in / Sign up

Export Citation Format

Share Document