Links
Here is a collection of links related to formal methods and Petri nets, as well as other sites that might be useful.
Just add the RSS feed to your news aggregator and you will get a notice everytime a new article is posted in the GISED website.