Research Article

An Introduction to Signed Petri Net

Figure 4

SiPN model for OTP verification.