Configuration structures, event structures and Petri nets

Page 1

	Year	Citations
Petri nets, event structures and domains, part I Mogens Nielsen, Gordon Plotkin, Glynn Winskel Theoretical Computer Science Petri NetEngineeringAutomated ReasoningEvent-driven ProgrammingStochastic Petri Net	1981	912
Proceedings 35th Annual Symposium on Foundations of Computer Science Programming Language TheoryComputational Complexity TheoryEngineeringAutomated ReasoningFormal Methods	1994	588
Event structures Glynn Winskel	1987	392
Branching processes of Petri nets Joost Engelfriet Acta Informatica Petri NetStochastic Petri NetProcess ControlPetri NetsComputer Science	1991	320
A sequent calculus for nominal logic Murdoch J. Gabbay, James Cheney Logic in Computer Science Non-classical LogicSyntaxEngineeringAutomated ReasoningFresh Logic	2004	306
The non-sequential behaviour of Petri nets Ursula Goltz, Wolfgang Reisig Information and Control Petri NetEngineeringNon-sequential BehaviourConcurrency TheoryStochastic Petri Net	1983	295
Sequential and concurrent behaviour in Petri net theory Eike Best, Raymond Devillers Theoretical Computer Science Petri NetEngineeringAutomated ReasoningConcurrency TheoryStochastic Petri Net	1987	259
Modeling concurrency with geometry Vaughn Pratt	1991	210
Tω as a Universal Domain Gordon Plotkin Journal of Computer and System Sciences Universal DomainAbstract Object TheoryDomain Theory	1978	135
An Introduction to Event Structures Glynn Winskel DAIMI Report Series Petri NetEvent-driven ArchitectureEngineeringAutomated ReasoningComplex Event Processing	1989	124

Page 1