Corpus ID: 41105923

Executable Specifications for Distributed Information Systems

@inproceedings{Hee1989ExecutableSF,
  title={Executable Specifications for Distributed Information Systems},
  author={K. V. Hee and L. J. Somers and M. Voorhoeve},
  booktitle={ISCO},
  year={1989}
}
  • K. V. Hee, L. J. Somers, M. Voorhoeve
  • Published in ISCO 1989
  • Computer Science
    • 92 Citations
    Highly Influential Citations
    3
    Background Citations
    17
    Methods Citations
    11

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

      92 Citations
      Citation Type

      Citation Type

      Dynamic process creation in high-level Petri nets
      • K. M. van Hee P.M.P
      • 2001
      • Highly Influenced
      • PDF
      Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds
      • W. V. Aalst
      • Computer Science
      • Computer Performance Evaluation
      • 1994
      • 8
      • Highly Influenced
      Dynamic process creation in high-level Petri nets
      • 7
      • Highly Influenced
      • PDF
      Discrete timed Petri nets
      • PDF
      The effectiveness of workflow management systems: A longitudinal study
      • 26
      • PDF
      Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias
      • PDF
      A timed communication behaviour model for distributed systems. (Un modèle de comportement temporisé pour les systèmes distribués communicants)
      • Y. Chen
      • Computer Science, Philosophy
      • 2014
      • 1
      Petri nets for modeling robots
      • 1
      • PDF
      Discrete timed Petri nets
      • 2
      • PDF
      The Right Timing: Reflections on the Modeling and Analysis of Time
      • 10