@incollection{Randell/11,
AUTHOR = {Randell, Brian},
TITLE = {Occurrence nets then and now: The path to structured occurrence nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {1-16},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/j8522718365l08r7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Heiner-Gilbert/11,
AUTHOR = {Heiner, Monika and Gilbert, David},
TITLE = {How might Petri nets enhance your systems biology toolkit},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {17-37},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/t21n70p613h75m64/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Giua/11,
AUTHOR = {Giua, Alessandro},
TITLE = {State estimation and fault detection using Petri nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {38-48},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/u88775784j2075h2/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chambart-Finkel-Schmitz/11,
AUTHOR = {Chambart, Pierre and Finkel, Alain and Schmitz, Sylvain},
TITLE = {Forward analysis and model checking for trace bounded WSTS},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {49-68},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/p3760k723201774w/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Reynier-Servais/11,
AUTHOR = {Reynier, Pierre-Alain and Servais, Fr{\'e}d{\'e}ric},
TITLE = {Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {69-88},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/1m34077832n3n8v7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khomenko-Mokhov/11,
AUTHOR = {Khomenko, Victor and Mokhov, Andrey},
TITLE = {An algorithm for direct construction of complete merged processes},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {89-108},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/yk57155052h372v6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pinna/11,
AUTHOR = {Pinna, G. Michele},
TITLE = {How much is worth to remember? A taxonomy based on Petri nets unfoldings},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {109-128},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/q177774762746h41/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Couvreur-Poitrenaud-Weil/11,
AUTHOR = {Couvreur, Jean-Michel and Poitrenaud, Denis and Weil, Pascal},
TITLE = {Branching processes of general Petri nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {129-148},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/86j44652871j2701/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Hee-Sidorova-van_der_Werf/11,
AUTHOR = {van Hee, Kees M. and Sidorova, Natalia and van der Werf, Jan Martijn},
TITLE = {Refinement of synchronizable places with multi-workflow nets: Weak termination preserved!},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {149-168},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/9357175156022916/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard-Maggi/11,
AUTHOR = {Westergaard, Michael and Maggi, Fabrizio M.},
TITLE = {Modeling and verification of a protocol for operational support using coloured Petri nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {169-188},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/u7124032t411kp86/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wimmel-Wolf/11,
AUTHOR = {Wimmel, Harro and Wolf, Karsten},
TITLE = {Finding a witness path for non-liveness in free-choice nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {189-207},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/b55765121mn8k63h/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Peschanski-Klaudel-Devillers/11,
AUTHOR = {Peschanski, Fr{\'e}d{\'e}ric and Klaudel, Hanna and Devillers, Raymond},
TITLE = {A Petri net interpretation of open reconfigurable systems},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {208-227},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/c5u3j43632376t70/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kleijn-Koutny/11,
AUTHOR = {Kleijn, Jetty and Koutny, Maciej},
TITLE = {The mutex paradigm of concurrency},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {228-247},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/v8564505325712q4/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hansen-Wang/11,
AUTHOR = {Hansen, Henri and Wang, Xu},
TITLE = {On the origin of events: Branching cells as stubborn sets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {248-267},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/lu31816m36r41242/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Billington-Gallasch/11,
AUTHOR = {Billington, Jonathan and Gallasch, Guy Edward},
TITLE = {On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {268-287},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/nh404u8566881227/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Haddad-Mairesse-Nguyen/11,
AUTHOR = {Haddad, S. and Mairesse, J. and Nguyen, H.-T.},
TITLE = {Synthesis and analysis of product-form Petri nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {288-307},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/x3543652l1771245/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Xu/11c,
AUTHOR = {Xu, Dianxiang},
TITLE = {A tool for automated test code generation from high-level Petri nets},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {308-317},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/jhu5832083431u01/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kindler/11,
AUTHOR = {Kindler, Ekkart},
TITLE = {The ePNK: An extensible Petri net tool for PNML},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {318-327},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/t6wh727187511482/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard/11,
AUTHOR = {Westergaard, Michael},
TITLE = {Access/CNP 2.0: A high-level interface to coloured Petri net models},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {328-337},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/45401t4j223x57r5/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colange-Baarir-Kordon-Thierry-Mieg/11,
AUTHOR = {Colange, M. and Baarir, S. and Kordon, F. and Thierry-Mieg, Y.},
TITLE = {Crocodile: A symbolic/symbolic tool for the analysis of symmetric nets with bag},
BOOKTITLE = {Proceedings of the 32nd International Conference on Applications and Theory of Petri Nets, PETRI NETS'2011 (Newcastle, UK, June 20-24, 2011)},
SERIES = {LNCS},
VOLUME = {6709},
PAGES = {338-347},
YEAR = {2011},
EDITOR = {Kristensen, Lars M. and Petrucci, Laure},
URL = {http://springerlink.metapress.com/content/k85g491212w85760/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}