Petri49 |
| Description: | Uses Petri nets to simulate sequences, search for P-invariants and T-invariants, coverability tree, and more. Useful for industrial engineering students. |
| Filename: | petri49.zip |
| ID: | 2974 |
| Current version: | 3.0 |
| Author: | Laurent Damay |
| Downloaded file size: | 9,198 bytes |
| Size on calculator: | 13 KB |
| Platforms: | 49/50 |
| User rating: | Not yet rated (you must be logged in to vote) |
| Primary category: | Science/Misc |
| Languages: | FRA |
| File date: | 2006-05-14 22:28:03 |
| Source code: | Not included |
| Download count: | 7,280 |
| Version history: | 2006-05-14: Updated to version 3.0
2003-12-27: Updated to version 2.3
2001-10-27: Updated to version 2.2
2001-08-14: Updated to version 2.1.1
2001-04-07: Updated to version 2.01
2000-08-23: Updated to version 2.0
2000-08-02: Added to site
|
| Archive contents: | Length Date Time Name
-------- ---- ---- ----
2559 04-30-06 11:39 readme.txt
14527 05-06-06 10:43 petri49.lib.hp
1370 05-06-06 13:18 petri49.gif
-------- -------
18456 3 files |
|
| Library contents: | petri49.lib.hp: Library 1221, PETRI49 V3.0.0 By Laurent Damay
|
| Screenshot: |  |
| User comments: | Laurent Damay
2001-11-02 03:19:37
Documentation in english |
| You must be logged in to add your own comment. |