Searching for authors named "Johan Lilius" – sorted by Relevance.
-
Efficient State Space Search for Time Petri Nets
- Ecient State Space Search for Time Petri Nets Johan Lilius Turku Centre for Computer Science TUCS
- Cited by 14 (2 self) – Add To MetaCart
-
On the Compositionality and Analysis of Algebraic High-Level Nets
- --22--0828-8 ON THE COMPOSITIONALITY AND ANALYSIS OF ALGEBRAIC HIGH-LEVEL NETS Johan Lilius Digital Systems Laboratory Department
- Cited by 3 (1 self) – Add To MetaCart
-
: An Object Oriented Petri Net Programming Notation (A Status Report)
- OOB(PN) 2 : An Object Oriented Petri Net Programming Notation (A Status Report) Johan Lilius
- Cited by 1 (0 self) – Add To MetaCart
-
A Sheaf Semantics for Petri Nets
- SEMANTICS FOR PETRI NETS Johan Lilius Digital Systems Laboratory Department of Computer Science Helsinki
- Cited by 2 (0 self) – Add To MetaCart
-
On the Structure of High-level Nets
- -LEVEL NETS Johan Lilius Digital Systems Laboratory Department of Computer Science Helsinki University
- Cited by 11 (0 self) – Add To MetaCart
-
OB(PN)²: An Object Based Petri Net Programming Notation
- OB(PN) 2 : An Object Based Petri Net Programming Notation Johan Lilius Turku Centre for Computer
- Cited by 2 (0 self) – Add To MetaCart
-
The Uva Virtual Machine
- The Uva Virtual Machine Dan Österberg Johan Lilius TUCS Turku Centre for Computer Science
- Add To MetaCart
-
An M-Net Semantics for B(PN)² with Procedures
- An M-Net Semantics for B(PN) 2 with Procedures Johan Lilius y and Elisabeth Pelz z October
- Add To MetaCart
-
An Expandable Protocol Processor Architecture
- ARCHITECTURE 1 2 Seppo Virtanen and Johan Lilius Turku Centre for Computer Science (TUCS), University of Turku
- Add To MetaCart
-
A Language for Multiple Models of Computation
- consortia are exploring different System Level Design Languages Dag Björklund Johan Lilius dag
- Cited by 3 (2 self) – Add To MetaCart

