理论计算机科学研究内容之一。网论以佩特里网为模型模拟各种系统（包括计算机系统）中事件之间的因果关系，研究信息在系统中的流动。网论包括佩特里网论和通用网论两部分。