@incollection{Abramsky/07,
AUTHOR = {Abramsky, Samson},
TITLE = {Petri nets, discrete physics, and distributed quantum computation},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {1-2},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kumagai-Miyamoto/07,
AUTHOR = {Kumagai, Sadatoshi and Miyamoto, Toshiyuki},
TITLE = {Autonomous Distributed System and its realization by Multi Agent Nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {3-19},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mazurkiewicz/07,
AUTHOR = {Mazurkiewicz, Antoni},
TITLE = {Petri nets without tokens},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {20-23},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Tarlecki/07,
AUTHOR = {Tarlecki, Andrzej},
TITLE = {Toward specifications for reconfigurable component systems},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {24-28},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wolf/07,
AUTHOR = {Wolf, Karsten},
TITLE = {Generating Petri net state spaces},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {29-42},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Beccuti-Franceschinis-Haddad/07,
AUTHOR = {Beccuti, M. and Franceschinis, G. and Haddad, S.},
TITLE = {Markov decision Petri net and Markov decision well-formed net formalisms},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {43-62},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boyer-Roux/07,
AUTHOR = {Boyer, M. and Roux, O.H.},
TITLE = {Comparison of the expressiveness of arc, place and transition Time Petri Nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {63-82},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ciardo-Luttgen-Yu/07,
AUTHOR = {Ciardo, Gianfranco and L{\"u}ttgen, Gerald and Yu, Andy Jinqing},
TITLE = {Improving static variable orders via invariants},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {83-103},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ehrig-Hoffmann-Padberg-Prange-Ermel/07,
AUTHOR = {Ehrig, Hartmut and Hoffmann, Kathrin and Padberg, Julia and Prange, Ulrike and Ermel, Claudia},
TITLE = {Independence of net transformations and token firing in reconfigurable place/transition systems},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {104-123},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ganty-Raskin-Van_Begin/07,
AUTHOR = {Ganty, Pierre and Raskin, Jean-Fran{\c{c}}ois and Van Begin, Laurent},
TITLE = {From many places to few: Automatic abstraction refinement for Petri nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {124-143},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gorgonio-Cortadella-Xia/07,
AUTHOR = {Gorg{\^o}nio, Kyller and Cortadella, Jordi and Xia, Fei},
TITLE = {A compositional method for the synthesis of asynchronous communication mechanisms},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {144-163},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_Hee-Serebrenik-Sidorova-van_der_Aalst/07,
AUTHOR = {van Hee, Kees and Serebrenik, Alexander and Sidorova, Natalia and van der Aalst, Wil},
TITLE = {History-dependent Petri nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {164-183},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Juhas-Lorenz-Mauser/07,
AUTHOR = {Juh{\'a}s, Gabriel and Lorenz, Robert and Mauser, Sebastian},
TITLE = {Complete process semantics for inhibitor nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {184-203},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khomenko/07,
AUTHOR = {Khomenko, Victor},
TITLE = {Behaviour-preserving transition insertions in unfolding prefixes},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {204-222},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Khomenko-Schaefer/07,
AUTHOR = {Khomenko, Victor and Schaefer, Mark},
TITLE = {Combining decomposition and unfolding for STG synthesis},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {223-243},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kohler-Farwer/07,
AUTHOR = {K{\"o}hler, Michael and Farwer, Berndt},
TITLE = {Object nets for mobility},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {244-262},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kohler-Rolke/07,
AUTHOR = {K{\"o}hler, Michael and R{\"o}lke, Heiko},
TITLE = {Web service orchestration with super-dual object nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {263-280},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Koutny-Pietkiewicz-Koutny/07,
AUTHOR = {Koutny, Maciej and Pietkiewicz-Koutny, Marta},
TITLE = {Synthesis of elementary net systems with context arcs and localities},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {281-300},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lazic-Newcomb-Ouaknine-Roscoe-Worrell/07,
AUTHOR = {Lazi{\'c}, Ranko and Newcomb, Tom and Ouaknine, Jo{\"e}l and Roscoe, A.W. and Worrell, James},
TITLE = {Nets with tokens which carry data},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {301-320},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lohmann-Massuthe-Wolf/07,
AUTHOR = {Lohmann, Niels and Massuthe, Peter and Wolf, Karsten},
TITLE = {Operating guidelines for finite-state services},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {321-341},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lorenz-Mauser-Bergenthum/07,
AUTHOR = {Lorenz, Robert and Mauser, Sebastian and Bergenthum, Robin},
TITLE = {Theory of regions for the synthesis of inhibitor nets from scenarios},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {342-361},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Men-Duan-Yu/07,
AUTHOR = {Men, Peng and Duan, Zhenhua and Yu, Bin},
TITLE = {Utilizing fuzzy Petri net for choreography based semantic web services discovery},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {362-380},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pelz-Tutsch/07,
AUTHOR = {Pelz, Elisabeth and Tutsch, Dietmar},
TITLE = {Formal models for multicast traffic in network on chip architectures with compositional high-level Petri nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {381-401},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Rosa-Velardo-de_Frutos-Escrig/07,
AUTHOR = {Rosa-Velardo, Fernando and de Frutos-Escrig, David},
TITLE = {Name creation vs. replication in Petri net systems},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {402-422},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vanit-Anunchai-Billington/07,
AUTHOR = {Vanit-Anunchai, Somsak and Billington, Jonathan},
TITLE = {Modelling the Datagram Congestion Control Protocol's connection management and synchronization procedures},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {423-444},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Westergaard-Kristensen-Brodal-Arge/07,
AUTHOR = {Westergaard, Michael and Kristensen, Lars Michael and Brodal, Gerth St{\o}lting and Arge, Lars},
TITLE = {The ComBack method --- Extending hash compaction with backtracking},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {445-464},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yen-Chen/07,
AUTHOR = {Yen, Hsu-Chun and Chen, Chien-Liang},
TITLE = {Computing minimal elements of upward-closed sets for Petri nets},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {465-483},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{van_der_Aalst-van_Dongen-Gunther-Mans-Alves_de_Medeiros-Rozinat-Rubin-Song-Verbeek-Weijters/07,
AUTHOR = {van der Aalst, W.M.P. and van Dongen, B.F. and G{\"u}nther, C.W. and Mans, R.S. and Alves de Medeiros, A.K. and Rozinat, A. and Rubin, V. and Song, M. and Verbeek, H.M.W. and Weijters, A.J.M.M.},
TITLE = {ProM 4.0: Comprehensive support for real process analysis},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {484-494},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hamez-Kordon-Thierry-Mieg-Legond-Aubry/07,
AUTHOR = {Hamez, Alexandre and Kordon, Fabrice and Thierry-Mieg, Yann and Legond-Aubry, Fabrice},
TITLE = {dmcG: A distributed symbolic model checker based on GreatSPN},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {495-504},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Poliakov-Sokolov-Mokhov/07,
AUTHOR = {Poliakov, Ivan and Sokolov, Danil and Mokhov, Andrey},
TITLE = {Workcraft: A static data flow structure editing, visualisation and analysis tool},
BOOKTITLE = {Proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN'2007 (Siedlce, Poland, June 25-29, 2007)},
SERIES = {LNCS},
VOLUME = {4546},
PAGES = {505-514},
YEAR = {2007},
EDITOR = {Kleijn, Jetty and Yakovlev, Alex},
URL = {http://dx.doi.org/10.1007/978-3-540-73094-1_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}