Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21--25, 2004. Proceedings. (Q704610)

The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1045.68017) Indexed articles: \textit{Busi, Nadia; Gorrieri, Roberto}, Positive non-interference in elementary and trace nets, 1-16 [Zbl 1094.68058] \textit{Ciardo, Gianfranco}, Reachability set generation for Petri nets: Can brute force be smart?, 17-34 [Zbl 1094.68582] \textit{Henzinger, Thomas A.}, Embedded software: Better models, better code, 35-36 [Zbl 1094.68541] \textit{Penczek, Wojciech; Półrola, Agata}, Specification and model checking of temporal properties in time Petri nets and timed automata, 37-76 [Zbl 1094.68067] \textit{Pomello, Lucia; Bernardinello, Luca}, Formal tools for modular system development, 77-96 [Zbl 1094.68593] \textit{Sanders, William H.}, Stochastic methods for dependability, performability, and security evaluation, 97 [Zbl 1094.68595] \textit{Alexander, Adrianna}, Composition of temporal logic specifications, 98-116 [Zbl 1094.68053] \textit{Barros, João Paulo; Gomes, Luís}, On the use of coloured Petri nets for object-oriented design, 117-136 [Zbl 1094.68579] \textit{Chaouiya, Claudine; Remy, Elisabeth; Ruet, Paul; Thieffry, Denis}, Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets, 137-156 [Zbl 1094.68581] \textit{Desel, Jörg; Juhás, Gabriel; Neumair, Christian}, Finite unfoldings of unbounded Petri nets, 157-176 [Zbl 1094.68061] \textit{Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria}, Compositional modeling of complex systems: Contact center scenarios in OsMoSys, 177-196 [Zbl 1094.68583] \textit{van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc}, Generalised soundness of workflow nets is decidable, 197-215 [Zbl 1094.68070] \textit{Heiner, Monika; Koch, Ina}, Petri net based model validation in systems biology, 216-237 [Zbl 1094.68584] \textit{Juhás, Gabriel; Lorenz, Robert; Neumair, Christian}, Synthesis of controlled behavior with modules of signal nets, 238-257 [Zbl 1094.68585] \textit{Junttila, Tommi A.}, New canonical representative marking algorithms for place/transition-nets, 258-277 [Zbl 1094.68586] \textit{Köhler, Michael; Rölke, Heiko}, Properties of object Petri nets, 278-297 [Zbl 1094.68063] \textit{Latvala, Timo; Mäkelä, Marko}, LTL model checking for modular Petri nets, 298-311 [Zbl 1094.68064] \textit{Ochmański, Edward}, Covering fairness against conspiracies, 312-330 [Zbl 1094.68066] \textit{Ojala, Leo; Penttinen, Olli-Matti; Parviainen, Elina}, Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods, 331-350 [Zbl 1094.68570] \textit{Polo Martín, M. José; Quintales, Luis A. Miguel; Moreno García, María N.}, A framework for the modelling and simulation of distributed transaction processing systems using coloured Petri nets, 351-370 [Zbl 1094.68592] \textit{Roux, Olivier H.; Lime, Didier}, Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation, 371-390 [Zbl 1094.68594] \textit{Verbeek, Eric; van der Toorn, Robert}, Transit case study, 391-410 [Zbl 1094.68596] \textit{Wimmel, Harro}, Eliminating internal behaviour in Petri nets, 411-425 [Zbl 1094.68068] \textit{Wimmel, Harro}, Infinity of intermediate states is decidable for Petri nets, 426-434 [Zbl 1094.68069] \textit{Yoo, Dong-Hoon; Lee, Dong-Ik; Lee, Jeong-A}, Operation net system: A formal design representation model for high-level synthesis of asynchronous systems based on transformations, 435-453 [Zbl 1094.68597] \textit{van Dongen, Boudewijn F.; van der Aalst, Wil M. P.}, EMiT: A process mining tool, 454-463 [Zbl 1094.68598] \textit{Kindler, Ekkart; Páles, Csaba}, 3D-visualization of Petri net models: Concept and realization, 464-473 [Zbl 1094.68587] \textit{Kristensen, Lars M.; Petrucci, Laure}, An approach to distributed state space exploration for coloured Petri nets, 474-483 [Zbl 1094.68588] \textit{Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger}, An extensible editor and simulation engine for Petri nets: Renew, 484-493 [Zbl 1094.68589] \textit{Norta, Alexander}, Web supported enactment of Petri-net based workflows with XRL/flower, 494-503 [Zbl 1094.68590]