This book constitutes the refereed proceedings of the 34th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2013, held in Milan, Italy, in June 2013. The 18 regular papers and 2 tool papers presented were carefully reviewed and selected from 56 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed.J. Wiley aamp; Sons (1995) David, R., Alla, H.: Discrete, Continuous and Hybrid Petri Nets. Springer (2004) Jorge, D., Correia, G., Barnhart, C.: Testing the Validity of the MIP Approach for Locating Car Sharing Stations in One-Way Systems. In: Euro Working Group on ... 4693, pp. 1105a1111. Springer, Heidelberg (2007) Booch, G.J., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide.
|Title||:||Application and Theory of Petri Nets and Concurrency|
|Author||:||Jose-Manuel Colom, Jörg Desel|
|Publisher||:||Springer - 2013-06-19|