04599nam 22008055 450 99646543550331620200702144017.03-540-27755-210.1007/b98282(CKB)1000000000212437(SSID)ssj0000190858(PQKBManifestationID)11172077(PQKBTitleCode)TC0000190858(PQKBWorkID)10180977(PQKB)11454471(DE-He213)978-3-540-27755-2(MiAaPQ)EBC3088623(PPN)155225758(EXLCZ)99100000000021243720121227d2004 u| 0engurnn#008mamaatxtccrLectures on Concurrency and Petri Nets[electronic resource] Advances in Petri Nets /edited by Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XX, 852 p.)Lecture Notes in Computer Science,0302-9743 ;3098Bibliographic Level Mode of Issuance: Monograph3-540-22261-8 Includes bibliographical references at the end of each chapters.Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed Automata: Semantics, Algorithms and Tools -- Petri Nets and Dependability -- Process Algebra -- A Coloured Petri Net Approach to Protocol Verification -- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets -- A Survey on Non-interference with Petri Nets -- Synthesis of Asynchronous Hardware from Petri Nets -- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned -- Unbounded Petri Net Synthesis -- Petri Nets and Software Engineering -- Model Validation in Controller Design -- Graph Grammars and Petri Net Transformations -- Message Sequence Charts -- Model-Based Development of Executable Business Processes for Web Services -- Modelling and Control with Modules of Signal Nets -- Application of Coloured Petri Nets in System Development -- Bigraphs for Petri Nets -- Notes on Timed Concurrent Constraint Programming -- Petri Nets and Manufacturing Systems: An Examples-Driven Tour -- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems -- Object Petri Nets.Lecture Notes in Computer Science,0302-9743 ;3098Mathematical logicComputersAlgorithmsComputer logicComputer communication systemsInformation storage and retrievalMathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Mathematical logic.Computers.Algorithms.Computer logic.Computer communication systems.Information storage and retrieval.Mathematical Logic and Foundations.Computation by Abstract Devices.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.Computer Communication Networks.Information Storage and Retrieval.511.35Desel Jörgedthttp://id.loc.gov/vocabulary/relators/edtReisig Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtRozenberg Grzegorzedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465435503316Lectures on concurrency and petri nets1029589UNISA