Petri Net Kernel PNK (Petri Net Kernel) was developed at the departement of computer sciences at Humboldt
University Berlin. It is a tool for analysis, simulation and verification of Petri net
systems. PNK administrates the net. We investigate the usability of PNK for verification
of high level Petri nets combined with assertion systems. | Project manager: Prof. Dr. rer. nat. Horst Müller
Keywords: Petri Net Kernel
Duration: 1.10.1998 - 16.7.2004
Sponsored by: Deutsche Forschungsgemeinschaft
Mitwirkende Institutionen: Institut für Informatik, HU Berlin
|