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

    Topics from this paper

    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
    Petri nets for modeling robots
    • 1
    • PDF
    Discrete timed Petri nets
    • 2
    • PDF