XPN-FMS: A CAD tool for FMS modeling, analysis, animation, and simulation using Petri nets and X window

This publication has 27 references indexed in Scilit:

• X Window implementation of Petri net based animation for FMS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An interactive tool for design, simulation, verification, and synthesis of protocols
  Software: Practice and Experience, 1994
• Dependency analysis-a Petri-net-based technique for synthesizing large concurrent systems
  IEEE Transactions on Parallel and Distributed Systems, 1993
• Iteration bounds of single-rate data flow graphs for concurrent processing
  IEEE Transactions on Circuits and Systems I: Regular Papers, 1993
• Dynamic analysis of repetitive decision-free discreteevent processes: The algebra of timed marked graphs and algorithmic issues
  Annals of Operations Research, 1990
• Modular synthesis of deadlock-free control structures
  Published by Springer Nature ,1986
• A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
  IEEE Transactions on Automatic Control, 1985
• Using Petri nets to represent production processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
• Reductions of nets and parallel programs
  Published by Springer Nature ,1980
• Algorithm 97: Shortest path
  Communications of the ACM, 1962