क्या वहां कोई अच्छा टूल है जो एक ग्राफिकल तरीके से एक अनुप्रयोग समवर्ती/लॉकिंग योजना मॉडल कर सकता है और यह कुछ पहलुओं को अनुकरण कर सकता है? मुझे पता है कि पेट्री नेट का उपयोग उस या कम के लिए किया जा स
क्या पेट्री नेट ड्राइंग करने और वहां से कोई भी स्रोत कोड बनाने के लिए कोई सॉफ्टवेयर है? स्रोत कोड किसी भी पहले से ही ज्ञात प्रोग्रामिंग भाषा में हो सकता है ... थोड़ा कम वांछनीय विकल्प फ़ाइल को आउटपुट