Organisation with the mission of promoting and supporting
the industrial use of formal methods for computer systems development.
The World Wide Web Virtual Library: Formal Methods (alternative link
The reference website regarding Petri Nets. Publications, news, tools, etc.
Information relative to the Petri Nets standarisation process.
Prof. Carl Adam Petri's homepage
Proposal of an XML-based interchange format for Petri nets.
Comprehensive collection of publications on Petri Nets.
Aragón Institute for Engineering Research (I3A)
Official website of the Aragon Government programme for research activity spreading.
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.