Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG
Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help     search: People Departments Other entries Lecture list Module Rooms Publications Research projects Internat. contacts Job offers Furniture and equipment offers Thesis offers      semester: WS 2024/2025 SS 2024 WS 2023/2024 SS 2023 WS 2022/2023 SS 2022 WS 2021/2022 SS 2021 WS 2020/2021 SS 2020 WS 2019/2020 SS 2019 WS 2018/2019 SS 2018 WS 2017/2018 SS 2017 WS 2016/2017 SS 2016 WS 2015/2016 SS 2015 WS 2014/2015 SS 2014 WS 2013/2014 SS 2013 WS 2012/2013 SS 2012 WS 2011/2012 SS 2011 WS 2010/2011 SS 2010 WS 2009/2010 SS 2009 WS 2008/2009 SS 2008 WS 2007/2008 SS 2007 WS 2006/2007 SS 2006 WS 2005/2006 SS 2005 WS 2004/2005 SS 2004 WS 2003/2004 SS 2003 WS 2002/2003 SS 2002 WS 2001/2002 SS 2001 WS 2000/2001 SS 2000 WS 1999/2000 SS 99 WS 98/99 SS 98 WS 97/98 SS 97 WS 96/97
Layout   printable version      Also in UnivIS   course list lecture directory     events calendar job offers furniture and equipment offers	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 Institution: Chair of Computer Science 3 (Hardware Architectures) UnivIS is a product of Config eG, Buckenhof