بازمهندسی فرایندهای تجاری، شبکه پتری رنگی، زبان مدلسازی یکپارچه، پایان نامه، پروپوزال