@incollection{Jensen/03,
AUTHOR = {Jensen, Kurt},
TITLE = {Coloured Petri Nets: Status and outlook},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {1-2},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Matsuno-Fujita-Doi-Nagasaki-Miyano/03,
AUTHOR = {Matsuno, Hiroshi and Fujita, Sachie and Doi, Atsushi and Nagasaki, Masao and Miyano, Satoru},
TITLE = {Towards biopathway modeling and simulation},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {3-22},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Colom/03,
AUTHOR = {Colom, J.M.},
TITLE = {The resource allocation problem in flexible manufacturing systems},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {23-35},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ajmone_Marsan-Garetto-Lo_Cigno-Meo/03,
AUTHOR = {Ajmone Marsan, M. and Garetto, M. and Lo Cigno, R. and Meo, M.},
TITLE = {Colored GSPN models for the QoS design of Internet subnets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {36-36},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Brinksma/03,
AUTHOR = {Brinksma, Ed},
TITLE = {Compositional theories of qualitative and quantitative behaviour},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {37-42},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ellis/03,
AUTHOR = {Ellis, C.A.},
TITLE = {Net models supporting human and humane behaviors},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {43-43},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Verbeek-Basten/03,
AUTHOR = {Verbeek, H.M.W. and Basten, T.},
TITLE = {Deciding life-cycle inheritance on Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {44-63},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Badouel-Chenou/03,
AUTHOR = {Badouel, Eric and Chenou, Jules},
TITLE = {Nets enriched over closed monoidal structures},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {64-81},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Thierry-Mieg-Dutheillet-Mounier/03,
AUTHOR = {Thierry-Mieg, Yann and Dutheillet, Claude and Mounier, Isabelle},
TITLE = {Automatic symmetry detection in well-formed nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {82-101},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Cabac-Moldt-Rolke/03,
AUTHOR = {Cabac, Lawrence and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {A proposal for structuring Petri net-based agent interaction protocols},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {102-120},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kohler-Moldt-Rolke/03,
AUTHOR = {K{\"o}hler, Michael and Moldt, Daniel and R{\"o}lke, Heiko},
TITLE = {Modelling mobility and mobile agents using nets within nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {121-139},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Bednarczyk-Bernardinello-Caillaud-Pawlowski-Pomello/03,
AUTHOR = {Bednarczyk, Marek and Bernardinello, Luca and Caillaud, Beno{\^{i}}t and Paw{\l}owski, Wies{\l}aw and Pomello, Lucia},
TITLE = {Modular system development with pullbacks},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {140-160},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sherif-Sampaio-Cavalcante/03,
AUTHOR = {Sherif, Adnan and Sampaio, Augusto and Cavalcante, S{\'e}rgio},
TITLE = {Specification and validation of the SACI-1 on-board computer using Timed-CSP-Z and Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {161-180},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Gaeta-Gribaudo-Manini-Sereno/03,
AUTHOR = {Gaeta, R. and Gribaudo, M. and Manini, D. and Sereno, M.},
TITLE = {On the use of Petri nets for the computation of completion time distribution for short TCP transfers},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {181-200},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Makela/03,
AUTHOR = {M{\"a}kel{\"a}, Marko},
TITLE = {Model checking safety properties in modular high-level nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {201-220},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Julvez-Recalde-Silva/03,
AUTHOR = {J{\'u}lvez, Jorge and Recalde, Laura and Silva, Manuel},
TITLE = {On reachability in autonomous continuous Petri net systems},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {221-240},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Reveliotis/03,
AUTHOR = {Reveliotis, Spyros A.},
TITLE = {On the siphon-based characterization of liveness in sequential resource allocation systems},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {241-255},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Jorgensen/03,
AUTHOR = {J{\o}rgensen, Jens B{\ae}k},
TITLE = {Coloured Petri Nets in development of a pervasive health care system},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {256-275},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Lautenbach/03,
AUTHOR = {Lautenbach, Kurt},
TITLE = {Logical reasoning and Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {276-295},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Eshuis-Dehnert/03,
AUTHOR = {Eshuis, Rik and Dehnert, Juliane},
TITLE = {Reactive Petri nets for workflow modeling},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {296-315},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Genc-Lafortune/03,
AUTHOR = {Genc, Sahika and Lafortune, St{\'e}phane},
TITLE = {Distributed diagnosis of discrete-event systems using Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {316-336},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{van_Hee-Sidorova-Voorhoeve/03,
AUTHOR = {van Hee, Kees and Sidorova, Natalia and Voorhoeve, Marc},
TITLE = {Soundness and separability of workflow nets in the stepwise refinement approach},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {337-356},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Juhas-Lorenz-Singliar/03,
AUTHOR = {Juh{\'a}s, Gabriel and Lorenz, Robert and {\v{S}}ingliar, Tom{\'a}{\v{s}}},
TITLE = {On synchronicity and concurrency in Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {357-376},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Villapol-Billington/03,
AUTHOR = {Villapol, Mar{\'{i}}a E. and Billington, Jonathan},
TITLE = {Analysing properties of the resource reservation protocol},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {377-396},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Fleischhack-Pelz/03,
AUTHOR = {Fleischhack, Hans and Pelz, Elisabeth},
TITLE = {Hierarchical timed high level nets and their branching processes},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {397-416},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Taoka-Furusato-Watanabe/03,
AUTHOR = {Taoka, Satoshi and Furusato, Shinji and Watanabe, Toshimasa},
TITLE = {A heuristic algorithm FSDC based on avoidance of deadlock components in finding legal firing sequences of Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {417-439},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Klein-Frey-Minas/03,
AUTHOR = {Klein, St{\'e}phane and Frey, Georg and Minas, Mark},
TITLE = {PLC programming with Signal Interpreted Petri Nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {440-449},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Vinter_Ratzer-Wells-Lassen-Laursen-Qvortrup-Stissing-Westergaard-Christensen-Jensen/03,
AUTHOR = {Vinter Ratzer, Anne and Wells, Lisa and Lassen, Henry Michael and Laursen, Mads and Qvortrup, Jacob Frank and Stissing, Martin Stig and Westergaard, Michael and Christensen, S{\o}ren and Jensen, Kurt},
TITLE = {CPN tools for editing, simulating, and analysing coloured Petri nets},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {450-462},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Schroter-Schwoon-Esparza/03,
AUTHOR = {Schr{\"o}ter, Claus and Schwoon, Stefan and Esparza, Javier},
TITLE = {The model-checking kit},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {463-472},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Al-Shabibi-Buchs-Buffo-Chachkov-Chen-Hurzeler/03,
AUTHOR = {Al-Shabibi, Ali and Buchs, Didier and Buffo, Mathieu and Chachkov, Stanislav and Chen, Ang and Hurzeler, David},
TITLE = {Prototyping object oriented specifications},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {473-482},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Billington-Christensen-van_Hee-Kindler-Kummer-Petrucci-Post-Stehno-Weber/03,
AUTHOR = {Billington, Jonathan and Christensen, S{\o}ren and van Hee, Kees and Kindler, Ekkart and Kummer, Olaf and Petrucci, Laure and Post, Reinier and Stehno, Christian and Weber, Michael},
TITLE = {The Petri Net Markup Language: Concepts, technology, and tools},
BOOKTITLE = {Proceedings of the 24th International Conference on Applications and Theory of Petri Nets, ICATPN'2003 (Eindhoven, The Netherlands, June 23-27, 2003)},
SERIES = {LNCS},
VOLUME = {2679},
PAGES = {483-505},
YEAR = {2003},
EDITOR = {van der Aalst, Wil and Best, Eike},
URL = {http://dx.doi.org/10.1007/3-540-44919-1_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}