Analysis of the C2 system effectiveness using continous processing time

A typical command-control (C[superscript]2) system was modeled and analyzed for peace-time and war-time as Conflict-free Stochastic Timed Placed Petri Net. The decomposition of the model provides an easier method to formulate and to simulate system states. The procedures to evaluate time-related measures: system maximum throughput rate, measured by minimum average circuit processing rate achieved by the system; average cycle processing rate of a C[superscript]2 process, measured by the processing rate of the task circuit formed by a C[superscript]2 process; and the average system response time, measured by the average time elapsed for the system to perform an input were provided. Time and capacity constraints which are specific to characterize system behavior were addressed. The system effectiveness measures are represented and analyzed as a function of task processing time and capacity available to each process and the system. Hence, this makes it possible to analyze the system structure and thus modify the underlying system

Nested-unit Petri nets

International audiencePetri nets can express concurrency and nondeterminism but neither locality nor hierarchy. This article presents an extension of Petri nets, in which places can be grouped into so-called "units" expressing sequential components. Units can be recursively nested to reflect both the concurrent and hierarchical nature of complex systems. This model called NUPN (Nested-Unit Petri Nets) was originally developed for translating process calculi to Petri nets, but later found also useful beyond this setting. It allows significant savings in the memory representation of markings for both explicit-state and symbolic verification. Thirteen software tools already implement the NUPN model, which has also been adopted for the benchmarks of the Model Checking Contest (MCC) and the parallel problems of the Rigorous Examination of Reactive Systems (RERS) challenges