Petri net as a modeling tool

This publication has 14 references indexed in Scilit:

• Reduction and expansion of live and safe marked graphs
  IEEE Transactions on Circuits and Systems, 1980
• Special Feature: Putting Petri Nets to Work
  Computer, 1979
• Model, Design, and Evaluation of a Compiler for a Parallel Processing Environment
  IEEE Transactions on Software Engineering, 1977
• Petri Nets
  ACM Computing Surveys, 1977
• Circuit theoretic analysis and synthesis of marked graphs
  IEEE Transactions on Circuits and Systems, 1977
• State equation, controllability, and maximal matchings of petri nets
  IEEE Transactions on Automatic Control, 1977
• Complete model for representing the coordination of asynchronous processes
  Published by Office of Scientific and Technical Information (OSTI) ,1974
• Macro E-Nets for Representation of Parallel Systems
  IEEE Transactions on Computers, 1973
• Marked directed graphs
  Journal of Computer and System Sciences, 1971
• A new approach to optimization of sequencing decisions
  Annual Review in Automatic Programming, 1970