From: Rafał Mrówka Subject: Place invariants To: designCPN@daimi.au.dk Date: Thu, 5 Apr 2001 21:06:53 +0200 Reply-To: Rafał Mrówka Dear all, I'm looking for a tool (perheps package for desingCPN) to automatical construct a incidence matrix for colored Petri Net. Where could I find a algorithm to solve that problem. In my student work, I uses a Kurt Jensen book "Basic Concepts, Analysis Methods and Practical Use". Author give a example (page 113 Vol.2) of incidence matrix for Data Base System, but I haven't found a way to get incidence matrix for this example. With kindest regards Rafal Mrowka --- [[ Post messages and summary of replies: designCPN@daimi.au.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.au.dk ]] [[ The moderator's address: designCPN-owner@daimi.au.dk ]] [[ World Wide Web URL: http://www.daimi.au.dk/designCPN/email/ ]]