,

A Method for Stepwise Refinement and Abstraction of Petri Nets

, и .
Journal of Computer and System Science, 27 (1): 51--76 (1983)

Метаданные

тэги

Пользователи данного ресурса

  • @hidders
  • @wvdaalst

Комментарии и рецензии