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 LEADER 02075nam 2200421 n 450 001 996388005603316 005 20221108044337.0 035 $a(CKB)1000000000629331 035 $a(EEBO)2264207967 035 $a(UnM)99847065 035 $a(EXLCZ)991000000000629331 100 $a19911118d1575 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 10$aArticles to be enquired of within the dioces of Winchester, in the Metropoliticall visitation of the most reuerend father in Christ, Matthew by the providence of God, Archbyshop of Canterbury, Primate of all England, and Metropolitan$b[electronic resource] 210 $aAt London $cPrinted by Iohn Daye, dwellyng ouer Aldersgate$d[1575?] 215 $a[20] p 300 $aPublication date from STC. 300 $aIn the Bodleian Library copy catalogued, visitation date and publication date added in MS. 300 $aAt foot of title page: Cum gratia & Priuilegio Regiæ Maiestatis. 300 $aFormerly STC 10154, 10354, and 10355. 300 $aIdentified as STC 10154 on UMI microfilm reel 222, STC 10355 on reel 422, and STC 10352.5 on reel 1851. 300 $aSignatures: A-B4 C2. 300 $aReproductions of the originals in the Bodleian Library and the British Library. 300 $aAppears at UMI microfilm reels 222 (Bodleian Library copy), 422 (British Library copy), and 1851 (Bodleian Library copy). 330 $aeebo-0216 606 $aVisitations, Ecclesiastical$zEngland$vEarly works to 1800 615 0$aVisitations, Ecclesiastical 701 $aParker$b Matthew$f1504-1575.$01001268 712 02$aChurch of England.$bDiocese of Winchester. 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996388005603316 996 $aArticles to be enquired of within the dioces of Winchester, in the Metropoliticall visitation of the most reuerend father in Christ, Matthew by the providence of God, Archbyshop of Canterbury, Primate of all England, and Metropolitan$92406213 997 $aUNISA