Abstract
A systematically design color sets of colored Petri net by applying IDEF1X method is proposed in this paper. Through analyzing the current deficiency of introducing time factor into Petri net, the time extension mode of timestamp in Petri net is given in this paper. By using the method mentioned above, a production scheduling model with great generality is established, and the modeling system performs well in practical applications.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Wu, Z.H.: Introduction Theory to Petri Nets. Mechanical Industry Press, Beijing (2006)
Jiang, Z.B.: Petri Nets and Application of Model and Control in Production System. Mechanical Industry Press, Beijing (2004)
Su, C.: Model and Simulation in Production System. Mechanical Industry Press, Beijing (2008)
Jensenand, K., Kristensen, L.M.: Colored Petri Nets: Modeling and Validation of Concurrent Systems. Springer (2009)
van der Aalst, W., Stahl, C.: Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press (2011)
Wei, D.G., Wu, S.L.: AUML and PETRI Nets Research of Usage in Combination. Journal of System Simulation 17(S1), 193–196 (2005)
Wang, Z.J., Cai, Z.X.: Based on IDEF0 Model and Indirect Petri Nets Model Methods to Study. Journal of System Simulation 8, 3915–3919 (2008)
Yi, S.P., Pu, J., Gao, Q.X.: Based on Petri Nets Buffer Model of Group Production Unit. Industrial Engineering and Management 12, 7–11 (2009)
Huang, D., Yan, J.W., Qiao, F.: Based on Petri Nets Modeling of Semiconductor Production Line. Computer Engineering 3, 69–71 (2005)
Jia, G.Z.: Optimization Method of Model and Simulation Petri Nets in Production System. Journal of System Simulation 8, 559–562 (2006)
Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer (1997)
Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Analysis Methods. Monographs in Theoretical Computer Science, vol. 2. Springer (1997)
Jensen, K.: Colored Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Practical Use. Monographs in Theoretical Computer Science, vol. 3. Springer (1997)
Chen, Y.L.: IDEF Model Analysis and Design Method. Tsinghua University Press (2000)
Paulson, C.: ML Programming Tutorial. Mechanical Industry Press, Beijing (2005); Ke, W. (Trans.)
Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML: Revised1997. The MIT Press (1997)
Ullman, J.D.: Elements of ML Programming (ML 1997edition). Prentice-Hall (1998)
Cai, Z.X.: Artificial Intelligence & Applications. Tsinghua University Press (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jiang-tao, Q., Shang, R. (2013). Research on Petri Net and IDEF1X Based Production Scheduling Modeling Method. In: Hong, B., Meng, X., Chen, L., Winiwarter, W., Song, W. (eds) Database Systems for Advanced Applications. DASFAA 2013. Lecture Notes in Computer Science, vol 7827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40270-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-40270-8_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40269-2
Online ISBN: 978-3-642-40270-8
eBook Packages: Computer ScienceComputer Science (R0)