On the implementation of Petri nets

This publication has 12 references indexed in Scilit:

• Rechensysteme
  Published by Springer Nature ,1987
• Process-translatable Petri nets for the rapid prototyping of process control systems
  IEEE Transactions on Software Engineering, 1986
• Subset languages of Petri nets part I: The relationship to string languages and normal forms
  Theoretical Computer Science, 1983
• Casting Petri Nets into Programs
  IEEE Transactions on Software Engineering, 1983
• A Matrix-Based Implementation of Generalized Petri Nets
  Published by Springer Nature ,1983
• Petri net implementations by a universal cell space
  Information and Control, 1982
• Simulation Graphs: a General Tool for Modeling Simulation Designs
  SIMULATION, 1981
• Protocols of accessing overlapping sets of resources
  Information Processing Letters, 1981
• A dictionary of some basic notions of net theory
  Published by Springer Nature ,1980
• Communicating sequential processes
  Communications of the ACM, 1978