Keyword: safeness

• Brauer, Wilfried; Gold, Robert; Vogler, Walter:
  A Survey of Behaviour and Equivalence Preserving Refinements of Petri Nets. 1991.

• Kountouris, Vasilios G.; Stephanou, Harry E.:
  Task Decomposition, Distribution, and Localization for Intelligent Robot Coordination. 1991.

• Bass, L.M.; de Montluzin, R.E.:
  The Application of Duals in the Analysis of Petri Nets. 1990.

• Kountouris, V.G.; Stephanou, H.E.:
  A Distributed Model of Concurrency for Robot Sensorimotor Synchronization. 1990.

• Kumagai, Sadatoshi; Kodama, Shinzo; Tsuji, Kohkichi; Nakamura, Youichi:
  Preservation of Liveness in Hierarchical Petri nets. 1990.

• Schmidt, Heinz W.:
  Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets. 1990.

• Fidelak, M.; Victor, F.:
  Verification of Production Systems (Expert Systems). 1989.

• Zhou, MengChu; DiCesare, Frank:
  Adaptive Design of Petri Net Controllers for Error Recovery in Automated Manufacturing Systems. 1989.

• Devillers, Raymond:
  Two Properties on n-Safeness. 1984.

Back to the Petri Nets Bibliography