07325nam 22008175 450 99646543430331620200702144506.03-540-27793-510.1007/b98283(CKB)1000000000212438(DE-He213)978-3-540-27793-4(SSID)ssj0000104583(PQKBManifestationID)11646045(PQKBTitleCode)TC0000104583(PQKBWorkID)10085965(PQKB)11267880(MiAaPQ)EBC3088630(PPN)155216791(EXLCZ)99100000000021243820121227d2004 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierApplications and Theory of Petri Nets 2004[electronic resource] 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings /edited by Jordi Cortadella, Wolfgang Reisig1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XI, 505 p.)Lecture Notes in Computer Science,0302-9743 ;3099Bibliographic Level Mode of Issuance: Monograph3-540-22236-7 Includes bibliographical references at the end of each chapter and index.Invited papers -- 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 -- Full papers -- 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 -- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation -- Transit Case Study -- Eliminating Internal Behaviour in Petri Nets -- Infinity of Intermediate States Is Decidable for Petri Nets -- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations -- Tool Papers -- EMiT: A Process Mining Tool -- 3D-Visualization of Petri Net Models: Concept and Realization -- An Approach to Distributed State Space Exploration for Coloured Petri Nets -- An Extensible Editor and Simulation Engine for Petri Nets: Renew -- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.This volume contains the proceedings of the 25th International Conference on Application and Theory of Petri Nets (ICATPN 2004). The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferenceshave 100–150participants,one third of these c- ing from industry, whereas the others are from universities and research insti- tions. The conferences always take place in the last week of June. The conference and a number of other activities are coordinated by a ste- ing committee with the following members: Wil van der Aalst (The Neth- lands),JonathanBillington(Australia),JrgDesel(Germany),SusannaDonatelli (Italy),SergeHaddad(France),KurtJensen(Denmark),MaciejKoutny(United Kingdom), Sadatoshi Kumagai(Japan), GiorgioDe Michelis (Italy), Tadao- rata (USA), Carl Adam Petri (Germany, Honorary Member), Wolfgang Reisig (Germany),GrzegorzRozenberg(TheNetherlands,Chairman)andManuelSilva (Spain). The 2004 conference was organized by the Department of Computer Science of the University of Bologna, Italy. We would like to thank the organizing c- mittee, chaired by Roberto Gorrieri, for the e?ort invested in making the event successful. We are also grateful to the following sponsoring institutions and - ganizations: Associazione Italiana per l’Informatica ed il Calcolo Automatico (AICA), Microsoft Research, and Network Project & Solutions (NPS Group). We received a total of 62 submissions from 26 di?erent countries. The p- gramcommittee?nallyselected19regularpapersand5toolpresentationpapers. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Gianfranco Ciardo, Roberto Gorrieri, Thomas A. H- zinger, Wojciech Penczek, Lucia Pomello and William H. Sanders. Their papers are also included in this volume.Lecture Notes in Computer Science,0302-9743 ;3099Mathematical logicComputersComputer science—MathematicsSoftware engineeringOperating systems (Computers)Computer communication systemsMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Mathematical logic.Computers.Computer science—Mathematics.Software engineering.Operating systems (Computers).Computer communication systems.Mathematical Logic and Foundations.Theory of Computation.Discrete Mathematics in Computer Science.Software Engineering.Operating Systems.Computer Communication Networks.511.35Cortadella Jordiedthttp://id.loc.gov/vocabulary/relators/edtReisig Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Applications and Theory of Petri NetsMiAaPQMiAaPQMiAaPQBOOK996465434303316Applications and Theory of Petri Nets 20042185886UNISA