For the most recent entries see the
Petri Nets Newsletter.
Müller, H.
-
Stier, Jochen;
Jahnke, Jens;
Müller, Hausi:
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.
2006.
-
Escalante, Marco A.;
Dimopoulos, Nikitas J.;
Gurov, D.;
Muller, H.:
Timing Analysis for Synthesis of Hardware Interface Designs using Timing Signal Transition Graphs.
1995.
-
Escalante, Marco A.;
Dimopoulost, Nikitas J.;
Gyuroff, Dilyan;
Müller, Hausi:
Timing Analysis for Synthesis of Hardware Interface Controllers using Timed Signal Transition Graphs.
1995.
-
Müller, Horst:
Höhere Petri Netze --- ein Werkzeug für die Modellierung and Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse.
1988.
-
Müller, H.:
High Level Petri Nets and Distributed Termination.
1987.
-
Müller, Horst:
Undecidability of the Existence of Inverse Homomorphic Images for Occurrence Sequences in High Level Petri Nets.
1987.
-
Müller, H.:
The Reachability Problem for VAS.
1985.
-
Müller, H.:
Weak Petri Net Computers for Ackermann Functions.
1985.
-
Müller, Horst:
Prompt and Hangupfree Simulation of Place/Transition Nets by Pure Nets Without Multiple Arcs.
1983.
-
Müller, Horst:
Remark to the Notion ``Size of a Net''. Kommunikationsprotokollen.
1983.
-
Müller, H.:
Correctness Proof for the Alternating Bit Protocol by Assertion Systems.
1982.
-
Müller, H.:
Inductive Assertions for Analyzing Reachability Sets.
1982.
-
Müller, Horst:
Filling a Gap in Kosaraju's Proof for the Decidability of the Reachability Problem in VAS.
1982.
-
Müller, Horst:
List of Mistakes in the Paper ``Kosaraju: Decidability of Reachability in Vector Addition Systems, May 1982''.
1982.
-
Müller, H.:
On the Reachability Problem for Persistent Vector Replacement Systems.
1981.
-
Müller, H.:
Reachability Analysis with Assertion Systems.
1981.
-
Müller, Horst:
Decidability of Reachability in Persistent Vector Replacement Systems.
1980.
-
Müller, Horst:
Cover picture story: Reachability Problem.
1980.
-
Müller, H.:
Zusammenhänge zwischen verallgemeinerten Petri-Netzen, Vektoradditions-Systemen und Vektorersetzungssytemen; Übersicht über Entscheidbarkeits- und Komplexitätsresultate.
1978.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography