Links

Formal Methods

Formal Methods Europe

The World Wide Web Virtual Library: Formal Methods

Petri Nets

Petri Nets World

Petrinet.info

Prof. Carl Adam Petri's homepage

The Petri Net Markup Language (PNML)

The Petri Nets Bibliography

Other links

Aragón Institute for Engineering Research (I3A)

Aragón Investiga