Supporting Demand Supply Network Optimization with Petri Nets - Distributed Artificial Intelligence, Agent Technology, and Collaborative Applications - page 381

2003). Currently there are several tools that are able to import and export PNML specifications. The
interval timed colored Petri net formalism invented by van der Aalst (van der Aalst, 1992) is the basis
for the ExSpect analysis tool (ExSpect, 1999). This tool is able to model production systems hierarchi-
cally to more detailed levels and to perform stochastic analyses. Petri nets have also been recently used
in designing shop floor scheduling (Artigues & Roubellat, 2001) and short-term batch plant scheduling
(Ghaeli et al., 2005). An interesting avenue of future research would be the construction a PNML-
based interface between the DSNnet tool of Nokia and ExSpect (and similar tools) which would allow
the modeling and analysis of production systems from factory network level systematically down to
manufacturing cell level.
r eferences
Agerwala, T., & Flynn, M. (1973). Comments on capabilities, limitations and “correctness” of Petri nets.
ACM Special Interest Group on Architectures (SIGARCH) Computer Architectures News, 2 (4), 81-86.
April, J., Better, M., Glover, F., Kelly, J. P., & Laguna, M. (2005). Enhancing business process man-
agement with simulation optimization. BP Trends. January 2005. Retrieved January 15, 2008, from
http://www.bptrends.com/resources_publications.cfm?publicationtypeID=DFC61D66-1031-D522-
3EBDAB1F65A451AA
Artigues, C., & Roubellat, F. (2001). A Petri net model and a general method for on and off-line multi-
resource shop floor scheduling with setup times. International Journal of Production Economics, 74,
63-75.
Azadivar, F. (1999). Simulation Optimization Methodologies. In P.A. Farrington, H. B. Nembhard, D.
T. Sturrock, and G. W. Evans,(Eds.), Proceedings of the 1999 Winter Simulation Conference (pp. 93-
100). New York: ACM.
Baer, J. L. (1973). Modeling for parallel computation: A case study. In Proceedings of the 1973 Sagamore
Computer Conference on Parallel Processing (pp. 13-22) . IEEE catalog no. 73, CH0812-8.
Beamon, B. M. (1998). Supply chain design and analysis: Models and methods. International Journal
of Production Economics, 55, 281-294.
Billington, J., Christensen, S., van Hee, K., Kindler, E., Kummer, O, Petrucci, L., Post, R., Stehno, C.,
& Weber, M. (2003). The Petri Net markup language: Concepts, technology and tools . (Lecture Notes
in Computer Science, 2679, pp. 483-505).
Bowersox, D. J., & Closs, D. J. (1989). Simulation in logistics: A review of present practice and a look
to the future. Journal of Business Logistics, 10(1), 133-48.
Bramel, J., & Simchi-Levi, D. (1997). The Logic of logistics: Theory, algorithms and applications for
logistics management. New York: Springer.
Desel, J., & Erwin, T. (2000). Modeling, simulation and analysis of business processes . (Lecture Notes
in Computer Science, 1806, pp. 129-141).