{'fraction_non_alphanumeric': 0.015161086544535692, 'fraction_numerical': 0.0, 'mean_word_length': 5.439024390243903, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Analysis of a Flexible Manufacturing System Task Controller Software Model Using Hierarchical Timed Petri Nets

In this paper, the implementation of a Flexible Manufacturing System (FMS) task controller model is used to illustrate the applicability of our systematic Hierarchical Timed Petri Net (HTPN) real-time software modelling approach. This approach provides us with a set of guidelines to distribute a large-scale system model into hierarchies of subsystems modelling concurrent tasks and data stores of the realtime system so that Real-Time Scheduling Theory can be readily applied to the HTPN system model to analyse the system from a performance perspective. A set of Hierarchical Reachability State Diagrams (HRSDs) are generated from the HTPN model, each corresponding to a hierarchical subsystem. Using similar analysis techniques as the conventional Reachability Graph approach (which is inefficient and intractable due to state explosion in many practical applications), the HRSDs can be used to test whether a given state or marking is reachable from the initial state and whether there is a deadlock state in the system. An example to group certain states in a HRSD into a composite state to further simplify the reachability model is also shown in the application analysis. The correctness of the state-dependent subsystem HTPN models can be verified against the system specification by comparing the corresponding simplifiedHRSDs generated from theHTPN models and theState Transition Diagrams (STDs) used to specify the behaviour of the state-dependent subsystems.