FEEDBACK Smiley face
Normal view MARC view ISBD view

Application and Theory of Petri Nets 2002 [electronic resource] :23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24–30, 2002 Proceedings /

Contributor(s): Esparza, Javier [editor.] | Lakos, Charles [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 2360Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2002.Description: X, 445 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540480686.Subject(s): Computer science | Computer communication systems | Software engineering | Computers | Computer science -- Mathematics | Mathematical logic | Computer Science | Theory of Computation | Software Engineering/Programming and Operating Systems | Mathematical Logic and Foundations | Computer Communication Networks | Discrete Mathematics in Computer Science | Software EngineeringOnline resources: Click here to access online
Contents:
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in