具標記動態途程指派功能的票允式裴氏網圖以支援物料搬運系統的模擬
Date Issued
2002
Date
2002
Author(s)
DOI
902218E002027
Abstract
Petri nets are widely used in system modeling,
simulation, and analysis for discrete event systems.
However, using Petri nets to model transportation
systems that have fixed facility deployment but
dynamic vehicle routings is difficult. This paper
presents a ticket-guarded Petri net to overcome this
shortage. Based on a ticked guarded mechanism
embedded in a proposed ticked-guarded transition,
colored tokens are transported one place by one place
following a dynamic route marked by serialized
colored tickets in transitions. The structure of
ticket-guarded Petri nets consists of seven elements:
places, ticket-guarded transitions, arcs, ticket-assigned
lines, tickets, tokens, and a routing planning place.
Moreover, there are three parts embeded in routing
planning place: a token dynamic routing module, a
routing command generate, and a routing command
queue. The routing command generator simulates the
transportation demand generation. Token routes are
dynamically planned and the corresponding tickets that
are dispatched by the token dynamic routing module.
Traffic blocking and deadlocks are examined and
excluded during the route planning. In the end, we
apply ticket-guarded Peri net to model several
complicated automatic guided vehicle systems to verify
the validity of this research. Results show that the
presented ticket-guarded Petri net model can
significantly reduce complexity and promote the
efficiency of the modeling work.
Subjects
Petri net
discrete event systems
ticket-guarded
Petri net
Petri net
ticked-guarded transition
Publisher
臺北市：國立臺灣大學工業工程學研究所
Type
report
File(s)![Thumbnail Image]()
Loading...
Name
902218E002027.pdf
Size
367.9 KB
Format
Adobe PDF
Checksum
(MD5):ca7c90b9c2cb9e2d271ff01b9b72ed9b