Lilius, J.

• Lia, Xuandong; Lilius, Johan:
  Efficient verification of a class of time Petri nets using linear programming. 2001.

• Aura, T.; Lilius, J.:
  A causal semantics for time Petri nets. 2000.

• Li, X.; Lilius, J.:
  Checking time Petri nets for linear duration properties. 1999.

• Aura, Tuomas; Lilius, Johan:
  Time Processes for Time Petri Nets. 1997.

• Varpaaniemi, Kimmo; Heljanko, Keijo; Lilius, Johan:
  PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis. 1997.

• Lilius, Johan:
  OB(PN)²: An Object Based Petri Net Programming Notation. 1996.

• Lilius, J.; Pelz, E.:
  An M-net Semantics for B(PN)² with Procedures. 1996.

• Ojala, Leo; Lilius, Johan:
  Development of Reachability Analysis Tools at Helsinki University of Technology. 1994.

• Lilius, Johan:
  High-level Nets and Linear Logic. 1992.

• Lilius, J.:
  On the Compositionality and Analysis of Algebraic High-Level Nets. 1991.

• Lilius, Johan:
  On the Verification of Programmable Logic Controller Programs. 1991.

• Lilius, Johan:
  On the Notion Dialectical Nets. 1990.

• Lilius, Johan:
  Dialectical Nets: A Categorial Approach to Net Theory. 1989.

Back to the Petri Nets Bibliography