<< ispetrinetbounded Min-Max-Plus And Petrinet lightsgui >>

Min-Max-Plus And Petrinet >> Min-Max-Plus And Petrinet > ispure

ispure

Test Pure Properties of Petri net

Calling Sequence

p = ispure(forward,backward)

Parameters

p
: Boolean represents pure properties of Petri net.
forward
: Forward incidence.
backward
: Backward incidence.

Description

This function is used to test pure properties of Petri net. If Petri net is pure then no places become input and output of one or more transitions. If Petri net is not pure then there are one or more places that become input and output of some transitions.

Examples

f = [0;1]; // forward incidence

b = [2;0]; // backward incidence

ispure(f,b) // Petri net is pure

f = [0 0;1 1]; // forward incidence

b = [2 0;1 0]; // backward incidence

ispure(f,b) // Petri net is impure

Authors

See Also


Report an issue
<< ispetrinetbounded Min-Max-Plus And Petrinet lightsgui >>