Chapter
Nov 12, 2013
A Noble Station Management System Model Based on Time Petri Net
Authors: Haiquan Song [email protected], Jin Guo, Saifei Li, and Yao LiAuthor Affiliations
Publication: ICTE 2013: Safety, Speediness, Intelligence, Low-Carbon, Innovation
Abstract
Petri net is extremely suitable for simulation of distributed systems because of its concurrency. There are many good methods to solve the conflict and deadlock problems by Petri nets; in sequential systems, however, those problems become very complex in distributed systems. This paper analyzes soundness and completeness of systems by using time Petri net theory and describes B/S software architecture of Station Management Information System with the help of time Petri net tools. It offers the rules to detect the problems of conflict and deadlock, which are caused by network failures and other external reasons in the B/S architecture. This paper solved deadlocks and conflicts in station operation plans with decision structure that has the function of deciding whether an operation plan is legal or not.
Get full access to this article
View all available purchase options and get full access to this chapter.
Information & Authors
Information
Published In
ICTE 2013: Safety, Speediness, Intelligence, Low-Carbon, Innovation
Pages: 2933 - 2939
Copyright
© 2013 American Society of Civil Engineers.
History
Published online: Nov 12, 2013
Permissions
Request permissions for this article.
Authors
Affiliations
School of Information Science & Technology, Southwest Jiaotong University, Chengdu, 610031, China. E-mail: [email protected]
Jin Guo
School of Information Science & Technology, Southwest Jiaotong University, Chengdu, 610031, China
Saifei Li
School of Information Science & Technology, Southwest Jiaotong University, Chengdu, 610031, China
Yao Li
School of Information Science & Technology, Southwest Jiaotong University, Chengdu, 610031, China
Metrics & Citations
Metrics
Citations
Download citation
If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.
View Options
Get Access
Access content
Please select your options to get access
Log in/Register
Log in via your institution (Shibboleth)
ASCE Members:
Please log in to see member pricing
Purchase
Save for later Item saved, go to cart Information on ASCE Library Cards
ASCE Library Cards let you download journal articles, proceedings papers, and available book chapters across the entire ASCE Library platform. ASCE Library Cards remain active for 24 months or until all downloads are used. Note: This content will be debited as one download at time of checkout.
Terms of Use: ASCE Library Cards are for individual, personal use only. Reselling, republishing, or forwarding the materials to libraries or reading rooms is prohibited.
Terms of Use: ASCE Library Cards are for individual, personal use only. Reselling, republishing, or forwarding the materials to libraries or reading rooms is prohibited.
Get Access
Access content
Please select your options to get access
Log in/Register
Log in via your institution (Shibboleth)
ASCE Members:
Please log in to see member pricing
Purchase
Save for later Item saved, go to cart Information on ASCE Library Cards
ASCE Library Cards let you download journal articles, proceedings papers, and available book chapters across the entire ASCE Library platform. ASCE Library Cards remain active for 24 months or until all downloads are used. Note: This content will be debited as one download at time of checkout.
Terms of Use: ASCE Library Cards are for individual, personal use only. Reselling, republishing, or forwarding the materials to libraries or reading rooms is prohibited.
Terms of Use: ASCE Library Cards are for individual, personal use only. Reselling, republishing, or forwarding the materials to libraries or reading rooms is prohibited.