Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. ProceedingsAuthor: Jordi Cortadella, Wolfgang Reisig Published by Springer Berlin Heidelberg ISBN: 978-3-540-22236-1 DOI: 10.1007/b98283Table of Contents:Positive Non-interference in Elementary and Trace Nets Reachability Set Generation for Petri Nets: Can Brute Force Be Smart? Embedded Software: Better Models, Better Code Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata Formal Tools for Modular System Development Stochastic Methods for Dependability, Performability, and Security Evaluation Composition of Temporal Logic Specifications On the Use of Coloured Petri Nets for Object-Oriented Design Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets Finite Unfoldings of Unbounded Petri Nets Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys Generalised Soundness of Workflow Nets Is Decidable Petri Net Based Model Validation in Systems Biology Synthesis of Controlled Behavior with Modules of Signal Nets New Canonical Representative Marking Algorithms for Place/Transition-Nets Properties of Object Petri Nets LTL Model Checking for Modular Petri Nets Covering Fairness against Conspiracies Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets, Includes bibliographical references and author index