Requirement analysis plays a very important role in reliability, cost, and safety of a software system. The use case approach remains the dominant approach during requirement elicitation in industry. Unfortunately, the use case approach suffers from several shortcomings, such as lacking accuracy and being difficult to analyze and validate the dynamic behavior of use cases for concurrency, consi...

Petri nets with an explicit notion of time have proven to be a good modelling tool for the qualitative and quantitative study of asynchronous concurrent systems with parallelism, synchronization and resource sharing. The formalism could be successfully applied in performance modelling and evaluation of concurrent programs, parallel systems and mappings among the two. However, performance models...

The objective of this communication is: • Characterize partial order relations in a scenario – resulting from the structure of the Petri net – resulting from the initial and the final markings (reachability) • Derive an algebraic formulae of the duration of the scenario – how long to go from the initial marking to the final one – a duration is attached to each transition – within the framework ...

This paper presents the problem definition and the related research activities on the modeling, simulation, design and implementation of an automatic material handling system in a batch production environment. The colored and timed Petri nets are used to model and sirnulate the automatic material handling system. The Petri net modeling and simulation enable the detemiination of the des@ paramet...

This structure of the net makes it easy to interpret any results of the Petri net analysis in terms of the source code. The initial marking of the Petri net is also given by the result tuple from. The part describes the used variables with types (number of places) and initial values (marking of these places). The Petri net for the user program of the 2-hand switch PLC consists of 45 places and ...

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...

This paper is concerned with high level control of robot systems. We abstract the robot system as timed Petri net and give a high level controller which consists of an LLP supervisor. We give its simple application to a mobile robot system.