@incollection{Juhas-Kazlov-Juhasova/10,
AUTHOR = {Juh{\'a}s, Gabriel and Kazlov, Igor and Juh{\'a}sov{\'a}, Ana},
TITLE = {Instance Deadlock: A mystery behind frozen programs},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {1-17},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/824p3w3v04775jr2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Harel/10,
AUTHOR = {Harel, David},
TITLE = {Some thoughts on behavioral programming --- Distinguished Carl Adam Petri Lecture},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {18-18},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/01g50627117x3635/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kleijn-Koutny/10,
AUTHOR = {Kleijn, Jetty and Koutny, Maciej},
TITLE = {Petri nets with localities and testing},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {19-38},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/12nx110318765177/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kristensen/10,
AUTHOR = {Kristensen, Lars M.},
TITLE = {A perspective on explicit state space exploration of Coloured Petri Nets: Past, present, and future},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {39-42},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/r8262834896132v6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Valmari-Hansen/10,
AUTHOR = {Valmari, Antti and Hansen, Henri},
TITLE = {Can stubborn sets be optimal?},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {43-62},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/a470h730w2534026/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Weidlich-Polyvyanyy-Mendling-Weske/10,
AUTHOR = {Weidlich, Matthias and Polyvyanyy, Artem and Mendling, Jan and Weske, Mathias},
TITLE = {Efficient computation of causal behavioural profiles using structural decomposition},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {63-83},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/e22t0w64n7003411/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wang-Jiao/10,
AUTHOR = {Wang, Yunhe and Jiao, Li},
TITLE = {Canonical transition set semantics for Petri nets},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {84-103},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/7128v8104g5360w2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Le/10,
AUTHOR = {L{\^e}, Dai Tri Man},
TITLE = {A characterization of combined traces using labeled stratified order structures},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {104-124},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/x8273764h372x32r/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gusikhin-Klampfl/10,
AUTHOR = {Gusikhin, Oleg and Klampfl, Erica},
TITLE = {Integrated process planning and supply chain configuration for commodity assemblies using Petri nets},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {125-144},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/f38w3264g47737n8/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Choppy-Dedova-Evangelista-Hong-Klai-Petrucci/10,
AUTHOR = {Choppy, Christine and Dedova, Anna and Evangelista, Sami and Hong, Silien and Klai, Kais and Petrucci, Laure},
TITLE = {The NEO protocol for large-scale distributed database systems: Modelling and initial verification},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {145-164},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/jj240186654x17rq/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chatain-Fabre/10,
AUTHOR = {Chatain, Thomas and Fabre, Eric},
TITLE = {Factorization properties of symbolic unfoldings of colored Petri nets},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {165-184},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/3w61q0511n855pg2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rosa-Velardo-de_Frutos-Escrig/10,
AUTHOR = {Rosa-Velardo, Fernando and de Frutos-Escrig, David},
TITLE = {Forward analysis for Petri nets with name creation},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {185-205},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/3j16k86742h11k7h/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Esparza-Leucker-Schlund/10,
AUTHOR = {Esparza, Javier and Leucker, Martin and Schlund, Maximilian},
TITLE = {Learning workflow Petri nets},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {206-225},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/3865515g87l84577/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Sole-Carmona/10,
AUTHOR = {Sol{\'e}, Marc and Carmona, Josep},
TITLE = {Process mining from a basis of state regions},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {226-245},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/36146103798t5rr2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Best-Darondeau/10,
AUTHOR = {Best, Eike and Darondeau, Philippe},
TITLE = {Separability in persistent Petri nets},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {246-266},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/3370341613m542vj/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Oanea-Wimmel-Wolf/10,
AUTHOR = {Oanea, Olivia and Wimmel, Harro and Wolf, Karsten},
TITLE = {New algorithms for deciding the siphon-trap property},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {267-286},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/30675223552t3662/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Buchs-Hostettler-Marechal-Risoldi/10,
AUTHOR = {Buchs, Didier and Hostettler, Steve and Marechal, Alexis and Risoldi, Matteo},
TITLE = {AlPiNA: A symbolic model checker},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {287-296},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/a125506r73462872/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lohmann-Weinberg/10,
AUTHOR = {Lohmann, Niels and Weinberg, Daniela},
TITLE = {Wendy: A tool to synthesize partners for services},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {297-307},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/tu7375p016hk8174/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Babar-Beccuti-Donatelli-Miner/10,
AUTHOR = {Babar, Junaid and Beccuti, Marco and Donatelli, Susanna and Miner, Andrew},
TITLE = {GreatSPN enhanced with decision diagram data structures},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {308-317},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/jq42087084w4wl31/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hillah-Kordon-Petrucci-Treves/10,
AUTHOR = {Hillah, L.M. and Kordon, F. and Petrucci, L. and Tr{`e}ves, N.},
TITLE = {PNML framework: An extendable reference implementation of the Petri net markup language},
BOOKTITLE = {Proceedings of the 31st International Conference on Applications and Theory of Petri Nets, PETRI NETS'2010 (Braga, Portugal, 21-25, 2010)},
SERIES = {LNCS},
VOLUME = {6128},
PAGES = {318-327},
YEAR = {2010},
EDITOR = {Lilius, Johan and Penczek, Wojciech},
URL = {http://springerlink.metapress.com/content/b606178745822033/fulltext.pdf" title="Download PDF (388.5 KB)"><span>Download PDF (388.5 KB)</span></a></li> 	</ul></li><li class="primitive primitiveResource Backmatter"><p class="title">Back matter</p><ul class="resources fulltextResources" data-ftxUrl="/content/978-3-642-13674-0/#section=715784"> 		<li><a class="sprite pdf-resource-spritehttp://springerlink.metapress.com/content/978-3-642-13674-0/back-matter.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}