• Publications
  • Influence
Petri Net Theory And The Modeling Of Systems
  • 2,950
  • 191
Petri Nets
TLDR
Over the last decade, the Petr i net has gamed increased usage and acceptance as a basic model of systems of asynchronous concurrent computation. Expand
  • 1,198
  • 90
  • PDF
Computer programs for detecting and correcting spelling errors
TLDR
The basic framework and background necessary to write a spelling checker or corrector are provided. Expand
  • 334
  • 18
  • PDF
Mambo: a full system simulator for the PowerPC architecture
TLDR
Mambo is a modular full system simulator that is designed from the ground up to simulate the PowerPC line of processors. Expand
  • 156
  • 11
  • PDF
A note on undetected typing errors
TLDR
Although human proofreading is still necessary, small, topic-specific word lists in spelling programs will minimize the occurrence of undetected typing errors. Expand
  • 106
  • 7
  • PDF
Computation Sequence Sets
  • J. L. Peterson
  • Mathematics, Computer Science
  • J. Comput. Syst. Sci.
  • 1 August 1976
TLDR
A class of automata based upon generalized Petri nets is introduced and defined. Expand
  • 97
  • 5
Buddy systems
TLDR
Two algorithms are presented for implementing any of a class of buddy systems for dynamic storage allocation with internal, external, and total fragmentation. Expand
  • 221
  • 3
  • PDF
A weighted buddy method for dynamic storage allocation
TLDR
An extension of the buddy method, called the weighted buddy method for dynamic storage allocation is presented. Expand
  • 53
  • 3