diff options
Diffstat (limited to 'content/zettel/1a2.md')
-rw-r--r-- | content/zettel/1a2.md | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/content/zettel/1a2.md b/content/zettel/1a2.md new file mode 100644 index 0000000..2bc0fdd --- /dev/null +++ b/content/zettel/1a2.md @@ -0,0 +1,25 @@ ++++ +title = "Petri nets" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["1c3", "1a1"] +forwardlinks = ["1a3"] +zettelid = "1a2" ++++ + +A petri net[^1] is a mathematical model for the description of +distributed systems. There are three basic components that can be used +to describe many different components that are useful in modelling +various concurrent components such as forks or joins. The main +components in petri nets are **places**, **transitions** and **arcs**. +There can only be arcs from places to transitions or vice-versa, not +between two places or between two transitions. + +Petri nets also have formal execution models, from which large +constructions can be made such as forks, transparent buffers and merges. +These can then be used to nicely describe digital circuits as well, and +can be used to show how a circuit was scheduled using dynamic +scheduling. + +[^1]: <https://en.wikipedia.org/wiki/Petri_net> |