Searching for authors named "Stefan Haar" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Diagnosis of asynchronous discrete-event systems: A net unfolding approach
- … Discrete-Event Systems: A Net Unfolding Approach Albert Benveniste, Fellow, IEEE, Eric Fabre, Stefan Haar…
- Cited by 5 (0 self) – Add To MetaCart
-
Diagnosis of asynchronous discrete event systems, a net unfolding approach
- … ALBERT BENVENISTE, ERIC FABRE, CLAUDE JARD, AND STEFAN HAAR I R I S A CAMPUS UNIVERSITAIRE DE BEAULIEU…
- Cited by 20 (6 self) – Add To MetaCart
-
Markov Nets: Probabilistic Models for distributed and concurrent systems
- …, Eric Fabre, Stefan Haar 3 Abstract For distributed systems, i.e. large networked complex systems…
- Cited by 8 (5 self) – Add To MetaCart
-
Distributed unfolding of Petri nets
- …Distributed Unfolding of Petri Nets ⋆ Paolo Baldan 1 , Stefan Haar 2 , and Barbara König 3 1…
- Cited by 3 (0 self) – Add To MetaCart
-
Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach
- … BENVENISTE, ERIC FABRE, CLAUDE JARD, AND STEFAN HAAR INSTITUT DE RECHERCHE EN INFORMATIQUE ET SYSTMES…
- Add To MetaCart
-
Properties of untimed Routed Petri Nets
- … AUTOMATIQUE Properties of untimed Routed Petri Nets Stefan Haar No 3705 June 7, 1999 TH EME 1 Properties…
- Cited by 2 (1 self) – Add To MetaCart
-
Non-Ambiguous Petri Nets
- … AUTOMATIQUE Non-Ambiguous Petri Nets Bruno Gaujal , Stefan Haar No 3691 May 19, 1999 TH EME 1 Non…
- Add To MetaCart
-
Blocking a transition in a Free Choice net
- … y Stefan Haar z Jean Mairesse x July 16, 2001 Abstract In a live and bounded Free Choice Petri…
- Add To MetaCart
-
On equivalence between Timed State Machines and Time Petri Nets
- … Stefan Haar, Laurent Kaiser, Franoise Simonot-Lion, and Joel Toussaint N 4049 November 8, 2000 Unit de…
- Add To MetaCart
Showing 1 through 9.
