Starke, P.H.

• Starke, P.H.:
  Symmetries of signal-net systems. 2000.

• Starke, Peter H.:
  Das Komponieren von Signal-Netz Systemen. 2000.

• Starke, Peter H.:
  Structural Analysis of Signal-Event Systems. 1999.

• Starke, Peter H.:
  Deadlock-Falle-Eigenschaften in Signal-Ereignis-Netzen. 1998.

• Starke, Peter H.:
  Invariants of Signal-Event Nets. 1998.

• Starke, Peter H.:
  On State-Invariants of Timed Petri Nets. 1996.

• Starke, Peter H.:
  Reachability Analysis of Petri Nets Using Symmetries. 1991.

• Schmidt, Karsten; Starke, Peter H.:
  An Algorithm to Compute the Symmetries of Petri Nets. 1991.

• Starke, Peter H.:
  Analyse von Petri-Netz-Modellen. 1990.

• Starke, Peter H.:
  Some Properties of Timed Nets under the Earliest Firing Rule. 1990.

• Starke, Peter H.:
  ATNA: Arc Timed Net Analyser. 1990.

• Starke, Peter H.:
  Modellierung mit Petri-Netzen. 1989.

• Atanassov, K.T.; Dimitrov, E.I.; Starke, P.H.:
  Dynamical properties of generalized nets. 1988.

• Starke, Peter H.:
  Validation of Petri Net Models by `Petri-Net-Machine'. 1988.

• Starke, Peter H.:
  On the Mutual Simulatability of Different Types of Petri Nets. 1987.

• Starke, Peter H.:
  Sieci Petri. 1987.

• Starke, Peter H.:
  Halma-Net. 1987.

• Starke, Peter H.:
  Remarks on Timed Nets. 1987.

• Starke, Peter H.:
  Graph Grammars and Processes in Petri Nets. 1986.

• Starke, Peter H.:
  Modellierung mit Petri-Netzen. 1986.

• Starke, Peter H.:
  Validation of Petri Net Models by Petri-Net-Machine. 1986.

• Atanassov, K.T.; Dimitrov, E.I.; Starke, P.H.:
  Petri Nets and their Modifications. 1985.

• Starke, Peter H.:
  Petri-Netz-Maschine - A Software Tool for Analysis and Validation of Petri Nets. 1985.

• Starke, Peter H.:
  Traces and Semiwords. 1985.

• Burkhard, H.-D.; Starke, P.H.:
  A Note of the Impact of Conflict Resolution to Liveness and Deadlock in Petri Nets. 1984.

• Starke, Peter H.:
  Modelling of Concurrent Systems by Petri Nets. 1984.

• Starke, Peter H.:
  Multiprocessor Systems and Their Concurrency. 1984.

• Starke, Peter H.:
  An Uninvited Adress to ``Serialisers'' and ``Non-Transitivists''. 1984.

• Starke, Peter H.:
  Monogenous FIFO-Nets and Petri-Nets are Equivalent. 1983.

• Starke, Peter H.:
  On the Concurrency of Distributed Systems. 1983.

• Starke, Peter H.:
  A Correction of the Proof of the Characterization Theorem for Free Terminal Petri Net Languages. 1983.

• Sandring, S.; Starke, P.H.:
  A Note on Liveness in Generalized Petri Nets. 1982.

• Starke, Peter H.:
  Graph Grammars for Petri Net Processes. 1982.

• Starke, Peter H.:
  Processes in Petri Nets. 1981.

• Starke, Peter H.:
  A Note on Conflicts in Petri Nets. 1981.

• Starke, Peter H.:
  Petrinetze. 1980.

• Starke, Peter H.:
  Petrinetze. 1979.

• Starke, Peter H.:
  Semilinearity and Petri Nets. 1979.

• Starke, Peter H.:
  On the Languages of Bounded Petri Nets. 1979.

• Starke, Peter H.:
  Petri-Netze. 1978.

• Starke, Peter H.:
  Free Petri Net Languages. 1978.

Back to the Petri Nets Bibliography