03774nam 2200565 450 99646577390331620210320191633.03-540-44919-110.1007/3-540-44919-1(CKB)1000000000212029(EBL)3061704(SSID)ssj0000321325(PQKBManifestationID)11262191(PQKBTitleCode)TC0000321325(PQKBWorkID)10262494(PQKB)11107715(DE-He213)978-3-540-44919-5(MiAaPQ)EBC3061704(MiAaPQ)EBC6413203(PPN)155202227(EXLCZ)99100000000021202920210320d2003 uy 0engur|n|---|||||txtccrApplications and theory of petri nets 2003 24th international conference, icatpn 2003, eindhoven, the netherlands, june 23-27, 2003, proceedings /edited by Wil van der Aalst, Eike Best1st ed. 2003.Germany :Springer,[2003]©20031 online resource (517 p.)Lecture Notes in Computer Science,0302-9743 ;2679Includes index.3-540-40334-5 Includes bibliographical references and index.Invited 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.Lecture Notes in Computer Science,0302-9743 ;2679Petri netsCongressesPetri nets004Aalst Wil van derBest Eike1951-MiAaPQMiAaPQMiAaPQBOOK996465773903316Applications and theory of petri nets 20032209912UNISA