Figure - PMC

Skip to main content

An official website of the United States government

Here's how you know

Here's how you know

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.

View full-text article in PMC

. 2014 Nov 27;15(Suppl 14):S5. doi: 10.1186/1471-2105-15-S14-S5

Search in PMC
Search in PubMed
View in NLM Catalog
Add to search

Copyright © 2014 Soldatova et al.; licensee BioMed Central.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

PMC Copyright notice

An example of a Petri net (a fragment). The semantics of the places and transitions of this Petri net is defined through the use of EXACT2. Two experimental actions streak and transfer, defined in EXACT2, are used as labels to represent the semantics of the transitions. The descriptors of those experimental actions and their values, e.g. equipment: 10 ml glass pipette are used to represent the semantics of the places. The tokens (dark dots) indicate the necessary conditions for the transitions to take place.