搜索资源列表
petrinet-source
- 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
scanf-pretri2
- 在派翠網路中,3個狀態節點與4個轉移節點的情況下,檢視派翠網路的可達狀態。-In Petri nets, the next three states node metastasis with four nodes, the view Petri nets up state.
Pet-ri
- this code descripe how petri network work