LEADER 03774nam 2200565 450 001 996465773903316 005 20210320191633.0 010 $a3-540-44919-1 024 7 $a10.1007/3-540-44919-1 035 $a(CKB)1000000000212029 035 $a(EBL)3061704 035 $a(SSID)ssj0000321325 035 $a(PQKBManifestationID)11262191 035 $a(PQKBTitleCode)TC0000321325 035 $a(PQKBWorkID)10262494 035 $a(PQKB)11107715 035 $a(DE-He213)978-3-540-44919-5 035 $a(MiAaPQ)EBC3061704 035 $a(MiAaPQ)EBC6413203 035 $a(PPN)155202227 035 $a(EXLCZ)991000000000212029 100 $a20210320d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aApplications and theory of petri nets 2003 $e24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings /$fedited by Wil van der Aalst, Eike Best 205 $a1st ed. 2003. 210 1$aGermany :$cSpringer,$d[2003] 210 4$dİ2003 215 $a1 online resource (517 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2679 300 $aIncludes index. 311 $a3-540-40334-5 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Coloured Petri Nets: Status and Outlook -- Towards Biopathway Modeling and Simulation -- The Resource Allocation Problem in Flexible Manufacturing Systems -- Colored GSPN Models for the QoS Design of Internet Subnets -- Compositional Theories of Qualitative and Quantitative Behaviour -- Net Models Supporting Human and Humane Behaviors -- Full Papers -- Deciding Life-Cycle Inheritance on Petri Nets -- Nets Enriched over Closed Monoidal Structures -- Automatic Symmetry Detection in Well-Formed Nets -- A Proposal for Structuring Petri Net-Based Agent Interaction Protocols -- Modelling Mobility and Mobile Agents Using Nets within Nets -- Modular System Development with Pullbacks -- Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets -- On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers -- Model Checking Safety Properties in Modular High-Level Nets -- On Reachability in Autonomous Continuous Petri Net Systems -- On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems -- Coloured Petri Nets in Development of a Pervasive Health Care System -- Logical Reasoning and Petri Nets -- Reactive Petri Nets for Workflow Modeling -- Distributed Diagnosis of Discrete-Event Systems Using Petri Nets -- Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach -- On Synchronicity and Concurrency in Petri Nets -- Analysing Properties of the Resource Reservation Protocol -- Hierarchical Timed High Level Nets and Their Branching Processes -- A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets -- Tool Papers -- PLC Programming with Signal Interpreted Petri Nets -- CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets -- The Model-Checking Kit -- Prototyping Object Oriented Specifications -- PNML Paper -- The Petri Net Markup Language: Concepts, Technology, and Tools. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2679 606 $aPetri nets$vCongresses 615 0$aPetri nets 676 $a004 702 $aAalst$b Wil van der 702 $aBest$b Eike$f1951- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465773903316 996 $aApplications and theory of petri nets 2003$92209912 997 $aUNISA