LEADER 07325nam 22008175 450 001 996465434303316 005 20200702144506.0 010 $a3-540-27793-5 024 7 $a10.1007/b98283 035 $a(CKB)1000000000212438 035 $a(DE-He213)978-3-540-27793-4 035 $a(SSID)ssj0000104583 035 $a(PQKBManifestationID)11646045 035 $a(PQKBTitleCode)TC0000104583 035 $a(PQKBWorkID)10085965 035 $a(PQKB)11267880 035 $a(MiAaPQ)EBC3088630 035 $a(PPN)155216791 035 $a(EXLCZ)991000000000212438 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aApplications and Theory of Petri Nets 2004$b[electronic resource] $e25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, Proceedings /$fedited by Jordi Cortadella, Wolfgang Reisig 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XI, 505 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3099 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22236-7 320 $aIncludes bibliographical references at the end of each chapter and index. 327 $aInvited 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3099 606 $aMathematical logic 606 $aComputers 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputer communication systems 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 615 0$aMathematical logic. 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 0$aOperating systems (Computers). 615 0$aComputer communication systems. 615 14$aMathematical Logic and Foundations. 615 24$aTheory of Computation. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aComputer Communication Networks. 676 $a511.35 702 $aCortadella$b Jordi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aReisig$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Applications and Theory of Petri Nets 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465434303316 996 $aApplications and Theory of Petri Nets 2004$92185886 997 $aUNISA