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.
The Petri net-based model with initial marking and MCT sets marked by accordingly labeled rectangles. The transitions within a given MCT set are encoded in the same color. Logical places are depicted as two concentric circles. Places and transitions are represented by their numbers.
