数值微分法即DDA法(Digital Differential Analyzer)，是一种基于直线的微分方程来生成直线的方法。-Numerical differentiation method that DDA (Digital Differential Analyzer), is based on linear differential equations to generate the straight line method.

Petri Nets Simulator with Individual Tokens Application allows you to create, analyse and simulate the following types of Petri nets: PT nets, nets with indywidual tokens and constant arc labels and nets with indywidual tokens and variable arc l