Carl Adam Petri and "Petri Nets" Wilfried Brauer, Wolfgang Reisig Scientific tradition frequently names a fundamental notion, insight, or theory after its explorer or eminent representative. Typical examples include "Ab

Source URL: www.cs.nyu.edu

• Carl Adam Petri
• Computer science
• Science
• Petri
• Model checking
• Process calculus
• Parallel computing
• CPN-AMI
• Concurrency
• Petri nets
• Formal methods