Responsive space launch is currently developing rapidly and has application cases in many fields, with advantages such as fast response speed flexible networking. Aiming at the efficiency evaluation of responsive system, this article first summarizes typical process launch, then gives a hierarchical model system based on timed colored Petri nets, including top-level model, demand command decisi...

Despite the abundance of workflow analysis techniques from control-flow perspective, there is hardly any method for workflow verification from data processing perspective. In this paper, we restrict the WFCP-net, a Colored Petri Net with WF-net structure, to formally describe the key business entities in a data-centric workflow model. Then, we use ASK-CTL logic to describe the workflow requirem...

ةصلاخلا : ىبرهكلا كيرحتلا و ةردقلا تاينورتكلا تاقيبطت نم ديدع ىف عسوتب مدختست تاروتسريثلا . ايبس ن ريغص لا مجحلا آ تاز يمملا نم ديدعب عتمتت اهنلأ اذه و و ضفخنملا اهرعس و قوسلا ىف اهرفوت . تاروتسريثلا مادختساب روطلا ى ثلاث ى ثح كرحمل طخلا دهج ىف مكحتملل ةيليصفت ةاآاحم لمع و ليلحت مت ثحبلا اذه ىف و . روطلا ىثلاث ردصملل هجولا ةيواز ىف مكحتلاب كرحملل تباثلا وضعلا دهج ىف مكحتلا مت و . اوتلا ريثأت ...

Thanks to its graphical notation and simplicity, Unified Modeling Language (UML) is a de facto standard and a widespread language used in both industry and academia, despite the fact that its semantics is still informal. The Interaction Overview Diagram (IOD) is introduced in UML2; it allows the specification of the behavior in the hierarchical way. In this paper, we make a contribution towards...

Computation of enabled transition instances is a key but difficult problem of animation of colored Petri nets. To address it in our colored Petri net tool, we give an algorithm for computing enabled transition instances. This algorithm is based on pattern matching. So it first tries to bind tokens to variables covered by patterns. If some variables are not covered by any pattern, the algorithm ...

Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...

High availability constraints ensure a high level of operational performance that must be maintained during a contractual measurement period. Such constraints must be satisfied, particularly, for critical systems related to global security and human safety. High availability often results from material redundancies and lead to large stochastic discrete event models with numerous states. Markov ...