PetriNets
swMATH ID: | 4380 |
Software Authors: | Petri, C. A. |
Description: | Petri Nets Tools Database. Petri nets is a graphical and mathematical modeling tool. Petri nets are a promising tool for describing and studying information processing systems that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. |
Homepage: | http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html |
Keywords: | Petri Nets Tools Database Quick |
Related Software: | Uppaal; Kronos; TAPAAL; TINA; CMC; IF-2.0; Romeo; TRANSPATH; KEGG; SNOOPY; BRENDA; Reactome; MetaCyc; PNML; Design/CPN; SHARPE; KLAIM; Punf; PEP; Maria |
Cited in: | 8 Documents |
all
top 5
Cited by 21 Authors
all
top 5
Cited in 6 Serials
1 | Acta Informatica |
1 | Theoretical Computer Science |
1 | Order |
1 | Journal of VLSI Signal Processing Systems for Signal, Image, and Video Technology |
1 | Engineering Computations |
1 | Natural Computing |
all
top 5