Petri Nets
Data up to Jan 2025
Total Citations Per Year
Abstract
References (36)
Parallel program schemata
1969 • 991 citations
Formal verification of parallel programs
1976 • 782 citations
Marked directed graphs
1971 • 501 citations
Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
1966 • 423 citations
Analysis of Programs for Parallel Processing
1966 • 422 citations
ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS
1972 • 330 citations
A study of the recoverability of computing systems.
1974 • 324 citations
The IBM System/360 Model 91: Machine Philosophy and Instruction-Handling
1967 • 276 citations
Counter machines and counter languages
1968 • 215 citations
Information and Computer Science
1975 • 200 citations
A Survey of Some Theoretical Aspects of Multiprocessing
1973 • 144 citations
Look-Ahead Processors
1975 • 139 citations
Concepts of Net Theory.
1973 • 129 citations
Macro E-Nets for Representation of Parallel Systems
1973 • 114 citations
Computation sequence sets
1976 • 102 citations
Comments on capabilities, limitations and “correctness” of Petri nets
1973 • 94 citations
A Comparison of Some Theoretical Models of Parallel Computation
1973 • 92 citations
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.
1974 • 91 citations
A GRAPH MODEL FOR PARALLEL COMPUTATIONS
1969 • 90 citations
The decidability of the reachability problem for vector addition systems (Preliminary Version)
1977 • 73 citations
Modular, asynchronous control structures for a high performance processor
1970 • 65 citations
Termination Properties of Generalized Petri Nets
1976 • 60 citations
A decidability theorem for a class of vector-addition systems
1975 • 55 citations
Petri nets and speed independent design
1973 • 48 citations
A partial solution to the reachability-problem for vector-addition systems
1974 • 47 citations
Petri nets and szilard languages
1977 • 45 citations
Multiprocessors, semaphores, and a graph model of computation
1972 • 42 citations
A Petri Net model of the CDC 6400
1971 • 36 citations
Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]
1975 • 26 citations
The modeling and analysis of supervisory systems
1972 • 25 citations
A comparative study of models of parallel computation
1974 • 22 citations
Flow of control, resource allocation, and the proper termination of programs
1971 • 20 citations
Electrical Engineering
1976 • 19 citations
Reachability Problems in Vector Addition Systems
1973 • 16 citations
A description of path expressions by Petri nets
1975 • 13 citations
Reachability Problems in Vector Addition Systems
1973 • 10 citations