PTnet
Definitions - Subnets
20/3/2014
CE-653 - PTnet Theory and some
Algorithms
11
}Definition [Well-formed Net]:
}A Net N is well-formed if there exists a
marking M0 of N such that (N, M0) is a
live and bounded system
}Thus, the net is not
necessarily live at the current marking…
}Theorem [S-Components and
Well-Formed Nets]:
}Well formed Nets are
covered by S-Components