Declarative workflow

Modern Business Process Automation: YAWL and its Support Environment

Volumn , Issue , 2010, Pages 175-201

  Pesic, Maja ^a   Schonenberg, Helen ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84860785043     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-642-03121-2_6     Document Type: Chapter

References (2)

1. Note that in the original Carrier Appointment net, this branch of the net is called LTL. In this chapter we will use the LTTL abbreviation to avoid confusion with Linear Temporal Logic (LTL
2. In Sect. 6.3.4, we explain how this state is avoided during execution.