Create Other Software Diagrams examples like this template called Petri Nets - Place & Transition Systems that you can easily edit and customize in minutes.
S = (S, T, F, K, W, Mo)
S: { A, B, C, D, E }
T: {Trans1, Trans2, Trans3, Trans4}
K: K(C) = 3
W: W(Trans1, A) = W(A, Trans2) = W (Trans2, C) = 3
Mo: Mo(B) = 1, Mo(C) = 2, Mo(D) = 1 ;
Place/Transition Systems
Transition
(deterministic)
Transition
(immediate)
Transition
(exponential)
Place with
3 Tokens
Input Arc
Multiplicity 2
Trans1
Trans3
Trans 2
Trans4