The petri net in the comment explaining the queue internals are
missing arrowheads. This may cause confusion since edges in petri
nets are usually directed.
This commit adds the missing arrowheads to the petri net.
# as described by the following petri net.
#
# .-----.
-# .--------------| c00 |---------------.
+# .------------->| c00 |---------------.
# | '-----' |
# | |
# '---| .-----. | .-----. |<--'
# .---| '-----' |<-. '-----' |<--.
# | | |
# | .-----. | .-----.
-# '-------| mtx |------' | sem |
+# '------>| mtx |------' | sem |
# | 1 | | 0 |
# .-------| |<------. | |
# | '-----' | '-----'