 |
      |
 |
| LLPN - Linear Logic Petri Nets |
 |
 |
|
| Presentations
The presentations will open in a separate window. Click that window and use the arrow keys to navigate.  Dynamic Modification of System Structures Using LLPNs
B. Farwer and K. Misra International Conference on Perspectives of System Informatics (PSI'03), Akademgorodok, Novosibirsk, Russian Federation 12 July 2003 Modelling Systems with Object-Based Petri Nets
B. Farwer University of Southampton, Department of Electronics and Computer Science 3 September 2003, Lunchtime Seminar Model Checking Object Petri Nets with Prolog
B. Farwer Priciples & Practice of Declarative Programming (PPDP'04), Verona, Italy 24 August 2004 |
||
 |
 |