Charles lakos (13 risultati)

Condizione: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condizione: New.

Paperback or Softback. Condizione: New. Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, 2002. Proceedings. Book.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Making Work Flow: On the Application of Petri Nets to Business Process Management.- Model Validation - A Theoretical Issue .- The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.- The Challenge of Object Orientation for the Analysis of Concurrent Systems.- Abstract Cyclic Communicating Processes: A Logical View.- Is the Die Cast for the Token Game .- Regular Papers.- Quasi-Static Scheduling of Independent Tasks for Reactive Systems.- Data Decision Diagrams for Petri Net Analysis.- Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.- Real-Time Synchronised Petri Nets.- Computing a Finite Prefix of a Time Petri Net.- Verification of a Revised WAP Wireless Transaction Protocol.- Characterizing Liveness of Petri Nets in Terms of Siphons.- Petri Nets, Situations, and Automata.- Reproducibility of the Empty Marking.- Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.- Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.- Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.- Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.- Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.- A Formal Service Specification for the Internet Open Trading Protocol.- Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.- Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.- Translating TPAL Specifications into Timed-Arc Petri Nets.- Tool Presentation.- Maria: Modular Reachability Analyser for Algebraic System Nets.…

PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the 23rd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressinthe applicationandtheoryofPetrinets. Typically, the conferences have 100-150participants one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ing committee with the following members: G. Balbo (Italy), J. Billington (A- tralia),G.De Michelis(Italy),S.Haddad(France),K.Jensen(Denmark),S.- magai (Japan), T. Murata (USA), C.A. Petri (Germany; honorary member), W. Reisig (Germany), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Other activities before and during the 2002 conference included tool dem- strations, extensive introductory tutorials, two advanced tutorials on Work ow Management: Models, Methods, and Systems and Model Checking , and two workshops on Software Engineering and Formal Methods and Formal Me- ods Applied to Defence Systems . The tutorial notes and workshop proceedings are not published in this volume, but copies are available from the organ- ers. The proceedings can be found at CRPIT.html. The 2002 conference was organized by the Computer Systems Engineering Centre, School of Electrical and Information Engineering at the University of South Australia, Adelaide, Australia with assistance from the Department of Computer Science, Adelaide University, Adelaide, Australia. We would like to thankthemembersoftheorganizingcommittee(seenextpage)andtheir teams. 460 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Invited Papers.- Making Work Flow: On the Application of Petri Nets to Business Process Management.- Model Validation - A Theoretical Issue .- The Real-Time Refinement Calculus: A Foundation for Machine-Independent Real-Time Programming.- The Challenge of Object Orientation for the Analysis of Concurrent Systems.- Abstract Cyclic Communicating Processes: A Logical View.- Is the Die Cast for the Token Game .- Regular Papers.- Quasi-Static Scheduling of Independent Tasks for Reactive Systems.- Data Decision Diagrams for Petri Net Analysis.- Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes.- Real-Time Synchronised Petri Nets.- Computing a Finite Prefix of a Time Petri Net.- Verification of a Revised WAP Wireless Transaction Protocol.- Characterizing Liveness of Petri Nets in Terms of Siphons.- Petri Nets, Situations, and Automata.- Reproducibility of the Empty Marking.- Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.- Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification.- Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets.- Analysing Infinite-State Systems by Combining Equivalence Reduction and the Sweep-Line Method.- Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.- A Formal Service Specification for the Internet Open Trading Protocol.- Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm.- Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow.- Translating TPAL Specifications into Timed-Arc Petri Nets.- Tool Presentation.- Maria: Modular Reachability Analyser for Algebraic System Nets.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch.…