Searching for authors named "Johan Lilius" – sorted by Relevance.
39 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
