Haar, S.

• Baldan, Paolo; Haar, Stefan; König, Barbara:
  Distributed Unfolding of Petri Nets. 2006.

• Gaujal, B.; Haar, S.; Mairesse, J.:
  Blocking a transition in a Free Choice net and what it tells about its throughput. 2003.

• Haar, Stefan:
  Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets. 2003.

• Haar, Stefan; Benveniste, A.; Fabre, E.:
  Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach. 2002.

• Haar, Stefan; Simonot-Lion, F.; Kaiser, L.; Toussaint, J.:
  Equivalence of Timed State Machines and safe Time Petri Nets. 2002.

• Haar, Stefan:
  Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. 2002.

• Haar, Stefan:
  Clusters, Confusion and Unfoldings. 2001.

• Haar, Stefan; Benveniste, A.; Fabre, E.:
  Markov Nets: probabilistic Models for Distributed and Concurrent Systems. 2001.

• Haar, Stefan; Baccelli, F.:
  Counter Equations for Timed Competition Nets. 2001.

• Haar, Stefan; Gaujal, B.; Mairesse, J.:
  Blocking a Transition in a Free Choice Net, and what it tells about its throughput. 2001.

• Haar, Stefan:
  Occurrence net logics. 2000.

• Haar, Stefan; Gaujal, B.:
  A Limit Semantics for Timed PN. 2000.

• Haar, Stefan:
  Ocurrence Net Logics. 1999.

• Haar, Stefan:
  On Occurrence Net Semantics of Petri Nets. 1999.

• Haar, Stefan:
  Properties of Untimed Routed Petri Nets. 1999.

• Gaujal, Bruno; Haar, Stefan:
  Non-ambiguous Petri Nets. 1999.

• Haar, Stefan:
  Branching Processes of general S/T-Systems and their properties. 1998.

• Haar, Stefan:
  Branching Processes of general S/T-Systems. 1998.

• Haar, Stefan:
  Kausalität, Nebenläufigkeit und Konflikt. Elementare Netzsysteme aus topologisch relationaler Sicht. 1998.

• Haar, Stefan:
  PEPINA: INA Net Analysis in the PEP Environment. 1998.

• Haar, Stefan:
  Quotients of Relational Structures. 1998.

Back to the Petri Nets Bibliography