清晰
发表于 2025-3-28 16:11:03
0302-9743 ems, VECoS 2020, which was supposed to be held in Xi’an, China, in October 2020, but was held virtually instead...The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers a
glans-penis
发表于 2025-3-28 19:14:28
An Approach for Supervisor Reduction of Discrete-Event Systemse specification, the state size of the supervisor is usually large and the control logic is difficult to understand. Thus, computing for reduced supervisors with small sizes is meaningful both for designing and implementation. We propose an algorithm that a reduced supervisor can be separated from t
神圣在玷污
发表于 2025-3-28 23:53:33
Multi-robot Path Planning Using Petri Netssatisfied. It should be specially noted that the order, by which the given tasks are executed, is taken into account by the specification. First, a team of mobile robots and their environment are modeled as a Petri net (PN). Second, a method is presented to design place nodes enforcing a given speci
Anticlimax
发表于 2025-3-29 05:33:59
Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Noontrol places to the original net, which makes the net being complex. This paper proposes a novel concept in colored resource-oriented Petri nets (CROPN) called colored capacity. Firstly, the foraml definition of colored capacity in a CROPN is given. Based on this concept, the new execution rule of
Figate
发表于 2025-3-29 09:32:06
http://reply.papertrans.cn/99/9817/981696/981696_45.png
忘川河
发表于 2025-3-29 12:44:38
Vehicle Scheduling Problem in Terminals: A Reviewed. The introduction includes the main types of current terminals and the main operating machinery in those terminals. Then, three main issues in vehicle scheduling problems are discussed and clarified in this paper, they are fleet sizing problem, vehicle dispatching problem and path planning proble
Mobile
发表于 2025-3-29 17:34:34
Coverage Analysis of Net Inscriptions in Coloured Petri Net Modelsthe context of CPNs and CPN Tools, the inscriptions (e.g., arc expressions and guards) are specified using Standard ML (SML). The application of simulation and state space exploration (SSE) for validating CPN models traditionally focusses on behavioural properties related to net structure, i.e., pla
ENDOW
发表于 2025-3-29 20:13:52
ON/OFF Control Trajectory Computation for Steady State Reaching in Batches Petri Netsaching a steady state from a given initial marking. A steady state is characterized by a state in which the marking and the firing flow vector are constant. By controlling the firing flow vector of transitions, the proposed control strategy is an event-based one and relies on an algorithm solving a
endocardium
发表于 2025-3-30 03:42:54
Towards Efficient Partial Order Techniques for Time Petri Netss. However, their verification techniques run against the state explosion problem that is accentuated by the fact that the diamond property is difficult to meet, even for conflict-free transitions..To deal with this limitation, the partial order reduction (POR) techniques of Petri nets (PN for short
规范要多
发表于 2025-3-30 07:27:40
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Schedulingheduling algorithms. Thus, performance analysis, formal verification, and comparison between a set of existing scheduling algorithms or newly proposed ones in such systems could be of great interest to designers. However, when systems are complex, models are typically used to represent their various