इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें इस तरह का विश्लेषण मैन्युअल रूप से करना कठिन है, और इसलिए इन मुद्दों को संबोधित करने के लिए औपचारिक तरीकों पर निर्माण करना आवश्यक है जो आमतौर पर कंप्यूटर विज्ञान अनुसंधान में उपयोग किए जाते हैं ।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "इस तरह के विश्लेषण करना मुश्किल है, और इन मुद्दों को संबोधित करने के लिए कंप्यूटर विज्ञान अनुसंधान (जैसे पेट्री नेट) में उपयोग किए जाने वाले औपचारिक तरीकों पर निर्माण करना और इन औपचारिक तरीकों पर निर्माण करना आवश्यक है ताकि कार्यप्रवाह और कार्यप्रवाह प्रणालियों दोनों के गुणों के बारे में तर्क करने के लिए उपयोगकर्ता-स्तरीय उपकरण विकसित किए जा सकें। "