 ##  [Petri Net](/petri-net) 

  ##  [Petri Net](https://natural.quantumdictionary.io/petri-net-0) 

  
 [![Natural & Formal Sciences Dictionary](/sites/default/files/styles/large/public/2026-01/Natural%20%26%20Formal%20Sciences.png.webp?itok=2kCDRVQv)](/topic-specific-dictionaries/natural-formal-sciences)


**Natural &amp; Formal Sciences Dictionary**

 
Definition

A bipartite directed multigraph model consisting of places, transitions, and tokens; markings assign token counts to places and transitions fire when their input places have sufficient tokens, thereby moving tokens and modeling concurrent, synchronous, and resource‑constrained behaviors in distributed systems.