An object oriented graphical tool for creating and editing Petri nets
暂无分享,去创建一个
[1] Frank DiCesare,et al. Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..
[2] Michael K. Molloy. Fundamentals of Performance Modeling , 1990, SIGMETRICS Perform. Evaluation Rev..
[3] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.
[4] Marco Ajmone Marsan,et al. The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..
[5] Frank DiCesare,et al. Modeling, Control, and Performance Analysis of Automated Manufacturing Systems Using Petri Nets , 1991 .
[6] MuDer Jeng,et al. A review of synthesis techniques for Petri nets with applications to automated manufacturing systems , 1993, IEEE Trans. Syst. Man Cybern..