• 棕褐色的是Java框架，该框架可以执行不同类型的培养皿的蚊帐，这是数学建模语言描述分布式系统。

    棕褐色提供支持，用于指导双边图，定义了彩色的工作流网，并创建所谓如果网，以允许用户分配安全等级转换和其他元素，是部分执行的过程。

  • एक प्रकार की मछली है एक जावा ढांचे है कि लागू कर सकते हैं के विभिन्न प्रकार पेट्री जाल, कर रहे हैं, जो गणितीय मॉडलिंग भाषाओं का वर्णन है कि वितरण प्रणाली है ।

    एक प्रकार की मछली के लिए सहायता प्रदान करता निर्देशित द्विपक्षीय रेखांकन, रंग को परिभाषित करता है कार्यप्रवाह के जाल और बनाता है तथाकथित अगर-जाल, करने के लिए उपयोगकर्ता की अनुमति असाइन करने के लिए सुरक्षा के स्तर के लिए संक्रमण और अन्य तत्वों है कि कर रहे हैं के हिस्से के निष्पादन की प्रक्रिया है ।

  • SEPIA is a Java framework that can implement different types of Petri nets, which are mathematical modelling languages that describe distributed systems.

    SEPIA provides support for directed bipartite graphs, defines colored workflow nets and creates so-called IF-nets, to allow the user to assign security levels to transitions and other elements that are part of the execution process.