FSM vs. Petri nets for component modelling...

Herman Bruyninckx <[email protected]>
Newsgroups gmane.science.robotics.orocos.user
Message-ID <Pine.LNX.4.33.0112021654420.25284-100000@pc25-213.mech.kuleuven.ac.be> 
In our software framework design, we want to include the capability
for dynamic reconfiguration of software components. Therefore, some
sort of state modelling is necessary, and I was wondering whether
somebody has good insights into the differences between Finite State
Machines on the one hand, and (Coloured) Petri Nets on the other hand?
Or maybe other techniques (CSP model?) are even more appropriate?

Herman
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.