"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A graph whose nodes divide into two disjoint sets, with edges only between sets, never within. Petri nets are bipartite: places connect to transitions, transitions connect to places, but places never connect directly to places."@en . . "Bipartite graph"@en .