Glues at 5 mm, 15mm and 20 mm
frame & title block
20 mm
5 mm
vertical end place
use context menu to toggle unmarked/marked place and to change layout
FMC-Petri_net
Cond./Descr.
Move Place
Move Text
_Align Left
Align Right
0 deg 90 deg -270 deg 180 deg -180 deg
_Align Top
Align Bottom
use context menu to lock dot size
dots
a place with the capacity > 1 and capacity != infinity (can hold more than one token)
Descriptor
Marking
Capacity
Move Arc Weight
Move Condition
Arc weight
Condition
Please use right-click to select the "Help" menu in order to access the FMC Stencils Help
Move start place Left/Right
No OPeration
edge
Annotation
brace
Move Brace Spike
Move Annotation
Use to seperate scopes of agents
swimland divider
title block
Stack place with capacity > 1 (Recursion)
Stack place with capacity = 1 (Recursion)
use context menu to toggle unmarked/marked place
token
edge with autom. layout
Move Edge Left/Right
Move Arc Weigth
Align Top
annotation
describe the action
simple title block
Align Left
edge usable in the form of L or S
Adjust to S or L shape
Move Arrow
Return place (Recursion)
a place with the infinite capacity (can hold any number of tokens)
Arial Unicode MS
Symbol
Wingdings
Calibri
SimSun
PMingLiU
MS PGothic
Dotum
Sylfaen
Estrangelo Edessa
Vrinda
Shruti
Mangal
Tunga
Sendnya
Raavi
Dhenu
Latha
Gautami
Cordia New
Arial
Malgun Gothic
Times New Roman
TheDoc
Gesture Format
Guide
FMC-MajorTextSize
FMC-MinorTextSize
FMC_ST_Version
FMC_DrawingType
FMC_MiscType
FMCType
TIA_NumberOfTextBoxes
TIA_TextBox1
FMC_Identifier_ID
transition
gridded_transition
multi token place (>1)
TIA_TextBox2
TIA_TextBox3
FMC_capacity_id
FMC_marking_id
ALA_BoundingBox_Shape
cap. > 1 place.20
place
channel
multitoken place (inf. cap.)
multi token place (inf.)
FMC_capacity
place.2
channel.2
FMC_marking
S place
R place
multi token S place
FMC_arrow_id
FMC_arcweight_id
vert. edge.6
hor./vert. edge
autom. edge.38
RecursionFlag
wasPositive
vert./hor. edge
hor./vert. edge.13
upper edge for loops
strait upper edge
curved upper edge
static L,S edge
vert. L,S edge
(rw) L,S access
static L,S edge.5
lower edge for loops
arrow
strait lower edge
curved lower edge
hor. L,S edge
start place
vert./hor. start place.10
FMC_place_id
FMC_firstedge_id
hor./vert. start place
vert./hor. start place.15
vert./hor. start place
connecting place
FMC_secondedge_id
edge.6
hor./vert. conn. place
vert./hor. conn. place
end place
hor./vert. end place
vert./hor. end place
protocol boundary
swimlane divider
five parted edge
2 dots diag.
FMC_NumberOfDots
FMC_IDDot1
FMC_IDDot2
3 dots
FMC_IDDot3
3 dots diag
3 dots diag.
annotation.3
Text1
Text2
Frame
Title
Logo1
Logo
Help
right-click select help
Page-1
Row_1
Row_2
Row_3
Row_4
Row_5
Row_6
Row_7