@incollection{Back/06,
AUTHOR = {Back, Ralph-Johan},
TITLE = {Invariant based programming},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {1-18},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Campos-Merseguer/06,
AUTHOR = {Campos, Javier and Merseguer, Jos{\'e}},
TITLE = {On the integration of UML and Petri nets in software development},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {19-36},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kindler-Rubin-Wagner/06,
AUTHOR = {Kindler, Ekkart and Rubin, Vladimir and Wagner, Robert},
TITLE = {Component tools: Integrating Petri nets with other formal methods},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {37-56},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Xu/06a,
AUTHOR = {Xu, Jianli},
TITLE = {Using Colored Petri Nets and tools to support mobile terminal and network software development},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {57-64},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Acu-Reisig/06,
AUTHOR = {Acu, Baver and Reisig, Wolfgang},
TITLE = {Compensation in workflow nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {65-83},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Baudru-Morin/06,
AUTHOR = {Baudru, Nicolas and Morin, R{\'e}mi},
TITLE = {The synthesis problem of netcharts},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {84-104},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bruni-Melgratti/06,
AUTHOR = {Bruni, Roberto and Melgratti, Hern{\'a}n},
TITLE = {Non-sequential behaviour of dynamic nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {105-124},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatain-Jard/06,
AUTHOR = {Chatain, Thomas and Jard, Claude},
TITLE = {Complete finite prefixes of symbolic unfoldings of safe time Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {125-145},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Evangelista-Pradat-Peyre/06,
AUTHOR = {Evangelista, Sami and Pradat-Peyre, Jean-Fran{\c{c}}ois},
TITLE = {On the computation of stubborn sets of Colored Petri Nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {146-165},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fabre/06,
AUTHOR = {Fabre, Eric},
TITLE = {On the construction of pullbacks for safe Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {166-180},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gilbert-Heiner/06,
AUTHOR = {Gilbert, David and Heiner, Monika},
TITLE = {From Petri nets to differential equations --- An integrative approach for biochemical network analysis},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {181-200},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Glausch-Reisig/06,
AUTHOR = {Glausch, Andreas and Reisig, Wolfgang},
TITLE = {How expressive are Petri net schemata?},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {201-220},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haddad-Mokdad-Moreaux/06,
AUTHOR = {Haddad, Serge and Mokdad, Lynda and Moreaux, Patrice},
TITLE = {A new approach to the evaluation of non Markovian stochastic Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {221-240},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Hee-Lomazova-Oanea-Serebrenik-Sidorova-Voorhoeve/06,
AUTHOR = {van Hee, Kees M. and Lomazova, Irina A. and Oanea, Olivia and Serebrenik, Alexander and Sidorova, Natalia and Voorhoeve, Marc},
TITLE = {Nested nets for adaptive systems},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {241-260},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Junior-Neto-Maciel-Lima-Ribeiro-Barreto-Tavares-Braga/06,
AUTHOR = {Junior, Meuse N.O. and Neto, Silvino and Maciel, Paulo and Lima, Ricardo and Ribeiro, Angelo and Barreto, Raimundo and Tavares, Eduardo and Braga, Frederico},
TITLE = {Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {261-281},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kleijn-Koutny/06,
AUTHOR = {Kleijn, H.C.M. and Koutny, M.},
TITLE = {Infinite process semantics of inhibitor nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {282-301},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lorenz-Juhas/06,
AUTHOR = {Lorenz, Robert and Juh{\'a}s, Gabriel},
TITLE = {Towards synthesis of Petri nets from scenarios},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {302-321},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reveliotis-Choi/06,
AUTHOR = {Reveliotis, Spyros A. and Choi, Jin Young},
TITLE = {Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {322-341},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Roch-Schmidt/06,
AUTHOR = {Roch, Stephan and Schmidt, Karsten},
TITLE = {On the step explosion problem},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {342-361},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Winkelmann-Luczak/06,
AUTHOR = {Winkelmann, Katrin and Luczak, Holger},
TITLE = {Prospective analysis of cooperative provision of industrial services using Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {362-380},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bergenthum-Desel-Juhas-Lorenz/06,
AUTHOR = {Bergenthum, Robin and Desel, J{\"o}rg and Juh{\'a}s, Gabriel and Lorenz, Robert},
TITLE = {Can I execute my scenario in your net? VipTool tells you!},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {381-390},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bonnet-Torres-Domenech-Lesire-Tessier/06,
AUTHOR = {Bonnet-Torr{\'e}s, Olivier and Domenech, Patrice and Lesire, Charles and Tessier, Catherine},
TITLE = {EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {391-400},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gomez-Martinez-Merseguer/06,
AUTHOR = {G{\'o}mez-Mart{\'{i}}nez, Elena and Merseguer, Jos{\'e}},
TITLE = {ArgoSPE: Model-based software performance engineering},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {401-410},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goud-van_Hee-Post-van_der_Werf/06,
AUTHOR = {Goud, R. and van Hee, Kees M. and Post, R.D.J. and van der Werf, J.M.E.M.},
TITLE = {Petriweb: A repository for Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {411-420},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Stier-Jahnke-Muller/06,
AUTHOR = {Stier, Jochen and Jahnke, Jens and M{\"u}ller, Hausi},
TITLE = {Geist3D, a simulation tool for geometry-driven Petri nets},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {421-430},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard-Lassen/06,
AUTHOR = {Westergaard, Michael and Lassen, Kristian Bisgaard},
TITLE = {The BRITNeY suite animation tool},
BOOKTITLE = {Proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2006 (Turku, Finland, June 26-30, 2006)},
SERIES = {LNCS},
VOLUME = {4024},
PAGES = {431-440},
YEAR = {2006},
EDITOR = {Donatelli, Susanna and Thiagarajan, P.S.},
URL = {http://dx.doi.org/10.1007/11767589_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}