Configuration structures, event structures and Petri nets

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 912 citations

Petri Net, Engineering, Automated Reasoning +5

Proceedings 35th Annual Symposium on Foundations of Computer Science

1994 · 588 citations

Programming Language Theory, Computational Complexity Theory, Engineering +5

Event structures

Glynn Winskel · 1987 · 392 citations

Branching processes of Petri nets

Joost Engelfriet · Acta Informatica · 1991 · 320 citations

Petri Net, Stochastic Petri Net, Process Control +3

A sequent calculus for nominal logic

Murdoch J. Gabbay, James Cheney · Logic in Computer Science · 2004 · 306 citations

Non-classical Logic, Syntax, Engineering +14