Universität Rostock   |   Fakultät für Informatik und Elektrotechnik   |   Institut für Informatik  
Start - Home   |   Aktuelles - Announcements   |   Lehre - Teaching  |   Forschung - Research  |   Mitarbeiter - Staff  |   Kontakt - Contact
 
LoLA
(only in english)



General Information

Download

Documentation

Exploring Biochemical Networks


A biochemical network reflects substances and known reactions for their mutual transformation. Researchers at SRI use LoLA in the exploration of Petri net models of such networks. They use the capability of LoLA to produce witness paths which are interpreted as reaction sequences.




Grafik  back to general information


Impressum