{'fraction_non_alphanumeric': 0.021164021164021163, 'fraction_numerical': 0.0, 'mean_word_length': 5.653266331658291, '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}}
Real-time Concurrent Programming as a StructuredApproach to Modelling of Manufacturing

Although originally developed for modelling and analysis of computer hardware and software, Petri Nets and CSP are also well suited to model information and control ows in manufacturing systems usually exhibiting concurrency and nondeterminism. Their important feature is that except for providing a basis for formal reasoning, they can also be used for simulation purposes. Petri Nets, already extensively used in the area of manufacturing systems, have one basic weakness: the lack of modularity. As opposed to that, real-time concurrent speciication languages are modular and thus allow for hierarchical modelling. This paper demonstrates the use of a real-time concurrent language in modelling of manufacturing systems. The resulting (hierarchical) models are viewed as collections of independent components interacting by synchronous message passing. Such models can be validated by sequential or distributed simulation. The description of component behaviour is separated from the description of model structure (which can be presented graphically). To specify data and data processing functions (facilitating the quantitative analysis), a VDM-like notation is used. In the models, components and data have separate descriptions.