Keyword: predicate/transition nets

• Xu, Dianxiang; Volz, Richard A.; Ioerger, Thomas R.:
  Generating Parallel Plans Based on Planning Graph Analysis of Predicate/Transition Nets. 2002.

• Böke, C.; Hubel, M.; Ramming, F.J.; Rust, C.:
  Zero-overhead Pr/T-net execution. 2000.

• Chu, William; Lu, Chih-Wei; Yang, Hongji; He, Xudong:
  A formal approach for component retrieval and integration analysis. 2000.

• Gao, C.; He, X.; Wang, H.; Li, P.:
  Modeling, safety verification and optimization procedures in process systems using hybrid Petri nets. 1999.

• Ojala, L.; Husberg, N.; Blom, S.:
  Modeling a distributed dynamic channel allocation algorithm for mobile computing using predicate/transition nets. 1999.

• Wu, Z.:
  CEM/T net, a high level Petri net for FMS modeling. 1999.

• He, X.:
  Transformations of hierarchical predicate transition nets: refinements and abstractions. 1998.

• Ehrig, H.; Padberg, J.:
  A uniform approach to Petri nets. 1997.

• Yu, S.K.:
  Knowledge representation and reasoning using fuzzy Pr/T net systems. 1995.

• Kochikar, V.P.; Narendran, T.T.:
  On using abstract models for analysis of flexible manufacturing systems. 1994.

• Li, L.W.:
  High-level Petri net model of logic program with negation. 1994.

• Varpaaniemi, Kimmo:
  On-the-Fly Verification with PROD. 1994.

• Johansson, K.; Halkola, T.; Ojala, L.:
  Modelling Solutions for Agreement Problems in Fault-Tolerant Distributed Systems Using Predicate/Transition Nets. 1989.

Back to the Petri Nets Bibliography