Clinical guideline

Reference

S. Bernardi, J. Albareda, J.M. Colom, C. Mahulea, A model-based approach for the specification and verification of clinical guidelines, In Proc. of the Workshop on models and methods for hospital management and planning, within the 19th IEEE International Conference on Emerging Technologies and Factory Automation, 16th-19th September, 2014, Barcelona (Spain).

Scaling parameter

Number of patients (initial marking of place start)

• Values: 1, 10, 100

Structural properties

• not all the places are covered by some P-invariant
• not structurally bounded
• all the transitions are covered by some T-invariant
• deadlock-free
• live
• the initial marking is a home state