Domain and event structure semantics for Petri nets with read and inhibitor arcs

Security Policies and Security Models

Joseph A. Goguen, José Meseguer · 1982 · 2.1K citations

Computing, Computer Science, Computer Systems +15

Modelling with Generalized Stochastic Petri Nets

Marco Ajmone Marsan, Gianfranco Balbo, G. Conte et al. · ACM SIGMETRICS Performance Evaluation Review · 1998 · 1.4K citations

Engineering, Systems Engineering, Stochastic Modeling +9

Petri nets, event structures and domains, part I

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

Computing, Computer Engineering, Computer Science +9

Event structures

Glynn Winskel · 1987 · 392 citations

Symbolic Model Checking

J. Barry Cooke · Microprocessors and Microsystems · 1994 · 215 citations