Keyword: reduction

• Lee, Kichang; Jeong, Hanil; Park, Chankwon; Park, Jinwoo:
  Construction and performance analysis of a Petri net model based on a functional model in a CIM system. 2004.

• Wang, Jiacun; Deng, Yi; Zhou, MengChu:
  Compositional time Petri nets and reduction rules. 2000.

• Chao, Daniel Y.; Wang, David T.:
  An interactive tool for design, simulation, verification, and synthesis of protocols. 1994.

• Esparza, J.:
  Reduction and Synthesis of Live and Bounded Free Choice Nets. 1991.

• Welzel, Dieter:
  Schnittstellenäquivalenz für die modulare Systementwicklung nebenläufiger Systeme. 1991.

• Petrucci, Laure:
  Techniques d'Analyse des Réseaux de Petri Algébraiques. 1991.

• Finkel, Alain:
  Reduction and Covering of Infinite Reachability Trees. 1990.

• Sanders, W.H.; Meyer, J.F.:
  Reduced Base Model Construction Methods for Stochastic Activity Networks. 1990.

• Avakyan, V.V.; Yuditskii, S.A.:
  Description and Analysis of Parallel Logic Control Algorithms Using Operation Graphs. 1990.

• Calin, S.; Serbanati, L.-D.; Cristea, V.:
  Using Petri Nets for Modelling Electrical Drives Control. 1988.

Back to the Petri Nets Bibliography