Forbidden features in the concurrency control part of the program

(they correspond to not yet solved problems when generating Petri net patterns)

• No pragma
• No hierarchy of tasks
• No hierarchy of protected object
• No asynchronous transfer of control ("select then abort" clause)
• No abort
• No string/float
• No user defined attributes
• No dynamic interrupt
• No unconstraint arrays
• No exceptions
• No "terminate" clause

last update : 20/10/2005