@incollection{Busi-Gorrieri/04,
AUTHOR = {Busi, Nadia and Gorrieri, Roberto},
TITLE = {Positive non-interference in elementary and trace nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {1-16},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/14qunmlra103h276},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ciardo/04,
AUTHOR = {Ciardo, Gianfranco},
TITLE = {Reachability set generation for Petri nets: Can brute force be smart?},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {17-34},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/8f0cv94wrf8cnhny},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Henzinger/04,
AUTHOR = {Henzinger, Thomas A.},
TITLE = {Embedded software: Better models, better code},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {35-36},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/xcgr6ka968dwlajt},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Penczek-Polrola/04,
AUTHOR = {Penczek, Wojciech and P{\'o}{\l}rola, Agata},
TITLE = {Specification and model checking of temporal properties in time Petri nets and timed automata},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {37-76},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/5e7ww5f8x08771x7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Pomello-Bernardinello/04,
AUTHOR = {Pomello, Lucia and Bernardinello, Luca},
TITLE = {Formal tools for modular system development},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {77-96},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/epwmtq8hluh56ntb},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Sanders/04a,
AUTHOR = {Sanders, William H.},
TITLE = {Stochastic methods for dependability, performability, and security evaluation},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {97-97},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/fa4epfyuudrmw2gv},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Alexander/04,
AUTHOR = {Alexander, Adrianna},
TITLE = {Composition of temporal logic specifications},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {98-116},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/qx4nykctny4x8ewg},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Barros-Gomes/04,
AUTHOR = {Barros, Jo{\~a}o Paulo and Gomes, Lu{\'{i}}s},
TITLE = {On the use of coloured Petri nets for object-oriented design},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {117-136},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/ppnn99u1rn8ymgxt},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Chaouiya-Remy-Ruet-Thieffry/04,
AUTHOR = {Chaouiya, Claudine and Remy, Elisabeth and Ruet, Paul and Thieffry, Denis},
TITLE = {Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {137-156},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/xdpxrb55w7xbhj7j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Desel-Juhas-Neumair/04,
AUTHOR = {Desel, J{\"o}rg and Juh{\'a}s, Gabriel and Neumair, Christian},
TITLE = {Finite unfoldings of unbounded Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {157-176},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/a6ce5kkuy7phlr5j},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Franceschinis-Gribaudo-Iacono-Marrone-Mazzocca-Vittorini/04,
AUTHOR = {Franceschinis, Giuliana and Gribaudo, Marco and Iacono, Mauro and Marrone, Stefano and Mazzocca, Nicola and Vittorini, Valeria},
TITLE = {Compositional modeling of complex systems: Contact center scenarios in OsMoSys},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {177-196},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/4un1884pwpmdr8he},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{van_Hee-Sidorova-Voorhoeve/04,
AUTHOR = {van Hee, Kees and Sidorova, Natalia and Voorhoeve, Marc},
TITLE = {Generalised soundness of workflow nets is decidable},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {197-215},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/gkty8gma3tv6xd4u},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Heiner-Koch/04,
AUTHOR = {Heiner, Monika and Koch, Ina},
TITLE = {Petri net based model validation in systems biology},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {216-237},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/c4auty9ev9vu1b6v},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Juhas-Lorenz-Neumair/04,
AUTHOR = {Juh{\'a}s, Gabriel and Lorenz, Robert and Neumair, Christian},
TITLE = {Synthesis of controlled behavior with modules of signal nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {238-257},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/b6x3nk8p2fn67aht},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Junttila/04,
AUTHOR = {Junttila, Tommi A.},
TITLE = {New canonical representative marking algorithms for Place/Transition-nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {258-277},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/y8qg599jp75ew7bv},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kohler-Rolke/04,
AUTHOR = {K{\"o}hler, Michael and R{\"o}lke, Heiko},
TITLE = {Properties of object Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {278-297},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/blxwq2ep7cfu2p0y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Latvala-Makela/04,
AUTHOR = {Latvala, Timo and M{\"a}kel{\"a}, Marko},
TITLE = {LTL model checking for modular Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {298-311},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/pmv0ylbqlx52vvwx},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ochmanski/04,
AUTHOR = {Ochma{\'n}ski, Edward},
TITLE = {Covering fairness against conspiracies},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {312-330},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/x6vy2lnykvx5ah82},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Ojala-Penttinen-Parviainen/04,
AUTHOR = {Ojala, Leo and Penttinen, Olli-Matti and Parviainen, Elina},
TITLE = {Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {331-350},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/tpeherluh9m6vp2q},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Polo_Martin-Quintales-Moreno_Garcia/04,
AUTHOR = {Polo Mart{\'{i}}n, M. Jos{\'e} and Quintales, Luis A. Miguel and Moreno Garc{\'{i}}a, Mar{\'{i}}a N.},
TITLE = {A framework for the modelling and simulation of Distributed Transaction Processing Systems using Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {351-370},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/7nllha605t8ygh6a},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Roux-Lime/04,
AUTHOR = {Roux, Olivier H. and Lime, Didier},
TITLE = {Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {371-390},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/qmwl13edahp82tn8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Verbeek-van_der_Toorn/04,
AUTHOR = {Verbeek, Eric and van der Toorn, Robert},
TITLE = {Transit case study},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {391-410},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/x2fdbaa299dp5e7r},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Wimmel/04,
AUTHOR = {Wimmel, Harro},
TITLE = {Eliminating internal behaviour in Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {411-425},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/dn6pn3kthfg03fxv},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Wimmel/04a,
AUTHOR = {Wimmel, Harro},
TITLE = {Infinity of intermediate states is decidable for Petri nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {426-434},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/kgw602l23e32hjx0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Yoo-Lee-Lee/04,
AUTHOR = {Yoo, Dong-Hoon and Lee, Dong-Ik and Lee, Jeong-A},
TITLE = {Operation Net System: A formal design representation model for high-level synthesis of asynchronous systems based on transformations},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {435-453},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/c5g9t48e164rgukk},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{van_Dongen-van_der_Aalst/04,
AUTHOR = {van Dongen, Boudewijn F. and van der Aalst, Wil M.P.},
TITLE = {EMiT: A process mining tool},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {454-463},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/tamaqlnuyrua8cv9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kindler-Pales/04,
AUTHOR = {Kindler, Ekkart and P{\'a}les, Csaba},
TITLE = {3D-visualization of Petri net models: Concept and realization},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {464-473},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/3tqfdafcc659b0qw},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kristensen-Petrucci/04,
AUTHOR = {Kristensen, Lars M. and Petrucci, Laure},
TITLE = {An approach to distributed state space exploration for Coloured Petri Nets},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {474-483},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/u1wxd52yfnaane1f},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Kummer-Wienberg-Duvigneau-Schumacher-Kohler-Moldt-Rolke-Valk/04,
AUTHOR = {Kummer, Olaf and Wienberg, Frank and Duvigneau, Michael and Schumacher, J{\"o}rn and K{\"o}hler, Michael and Moldt, Daniel and R{\"o}lke, Heiko and Valk, R{\"u}diger},
TITLE = {An extensible editor and simulation engine for Petri nets: RENEW},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {484-493},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/8yentlyva2lwgprx},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}
@incollection{Norta/04,
AUTHOR = {Norta, Alexander},
TITLE = {Web supported enactment of Petri-net based workflows with XRL/flower},
BOOKTITLE = {Proceedings of the 25th International Conference on Applications and Theory of Petri Nets, ICATPN'2004 (Bologna, Italy, June 21-25, 2004)},
SERIES = {LNCS},
VOLUME = {3099},
PAGES = {494-503},
YEAR = {2004},
EDITOR = {Cortadella, Jordi and Reisig, Wolfgang},
URL = {http://www.springerlink.com/content/k822mm7bd17ngwe9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Hong Kong-London-Milan-Paris-Tokyo},
}