Showing
1 changed file
with
1 additions
and
1 deletions
... | @@ -11,11 +11,11 @@ violate any of a place bound. (But note that direct modifications of a | ... | @@ -11,11 +11,11 @@ violate any of a place bound. (But note that direct modifications of a |
11 | >>> import snakes.plugins | 11 | >>> import snakes.plugins |
12 | >>> snakes.plugins.load('bound', 'snakes.nets', 'nets') | 12 | >>> snakes.plugins.load('bound', 'snakes.nets', 'nets') |
13 | <module ...> | 13 | <module ...> |
14 | +>>> from nets import * | ||
14 | 15 | ||
15 | If parameter `bound` is given as a non-negative integer, this is the | 16 | If parameter `bound` is given as a non-negative integer, this is the |
16 | upper bound of the place (and its lower bound is zero). | 17 | upper bound of the place (and its lower bound is zero). |
17 | 18 | ||
18 | ->>> from nets import * | ||
19 | >>> n = PetriNet('N') | 19 | >>> n = PetriNet('N') |
20 | >>> p = Place('p', [dot], bound=3) | 20 | >>> p = Place('p', [dot], bound=3) |
21 | >>> n.add_place(p) | 21 | >>> n.add_place(p) | ... | ... |
-
Please register or login to post a comment