Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Petri net model specification produced by CMA for the Pseudomonas aeruginosa virulence activation pathway. The Petri net model is composed of a set of variables for the biological entities (places in Petri net formalism) and a set of transition rules. The transitions consist of pre-conditions, post-conditions, and a rate function currently defined as constantFunction. The initial state is defined outside of the model specification
