Lecture Notes in Computer Science

18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings

By: Pierre Azema (Editor), Gianfranco Balbo (Editor)

Write A Review

Paperback | 4 June 1997

At a Glance

Paperback
484 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Discrete Mathematics Computing & I.T.Computer Science Mathematical Theory of Computation Computer Networking & Communications Mathematical Foundation Mathematical Logic Operating Systems Databases Data Capture & Analysis

Computer Hardware Network Hardware Combinatorics & Graph Theory

Model Checking LTL Using Constraint Programming	p. 1
On the Composition of Timed Systems	p. 21
Some Issues about Petri Net Application to Manufacturing and Process Supervisory Control	p. 23
On the Abstraction of Coloured Petri Nets	p. 42
Life-cycle Inheritance: A Petri-Net-Based Approach	p. 62
Multi-Agent-Systems Based on Coloured Petri Nets	p. 82
On the Complexity of the Linear-Time mu-calculus for Petri Nets	p. 102
Improved Implementation via a New Structural Equivalence on Labelled Nets	p. 117
Time Processes for Time Petri Nets	p. 136
Timed Petri Nets and Temporal Linear Logic	p. 156
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets	p. 175
Petri's Axioms of Concurrency - A Selection of Recent Results	p. 195
Analysis of Petri Nets with a Dynamic Priority Method	p. 215
A Compositional Partial Order Semantics for Petri Net Components	p. 235
Covering Step Graph Preserving Failure Semantics	p. 253
Siphons, Traps and High-Level Nets with Infinite Color Domains	p. 271
Teaching Coloured Petri Nets - A Gentle Introduction to Formal Methods in a Distributed Systems Course	p. 290
Transition Systems of Elementary Net Systems with Inhibitor Arcs	p. 310
Coupling Asynchrony and Interrupts: Place Chart Nets	p. 328
Modelling and Solving Constraint Satisfaction Problems through Petri Nets	p. 348
Fault Detection in Telecommunication Networks Based on Petri Net Representation of Alarm Propagation	p. 367
Analysing Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets	p. 387
Verification of Workflow Nets	p. 407
Verification of Siphons and Traps for Algebraic Petri Nets	p. 427
Orthogonal Transformations for Coloured Petri Nets	p. 447
Author Index	p. 467
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Operating Systems

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Principles of Operating Systems

Windows 11 For Dummies, 2nd Edition

Windows 11 For Dummies

Applied Embedded Electronics

Design Essentials for Robust Systems

iPad and iPad Pro For Dummies

Git : Pocket Guide

A Working Introduction

Macs For Seniors For Dummies

For Dummies (Computer/Tech)

Linux All-In-One For Dummies

For Dummies (Computer/Tech)

Windows 11 All-in-One For Dummies, 2nd Edition

For Dummies

Product Leadership

How Top Product Managers Launch Awesome Products and Build Successful Teams

Mapping Experiences

A Complete Guide to Creating Value through Journeys, Blueprints, and Diagrams 2nd Edition

Linux Pocket Guide

4th Edition - Essential Commands

UX Skills for Business Strategy

Articulating Impact for Product, User, and Business Outcomes

Theory of Fun for Game Design

Microsoft Excel 365 Bible

Bible

UNIX and Linux System Administration Handbook

5th Edition

CompTIA A+ Certification All-in-One Exam Guide (Exams 220-1101 & 220-1102)

11th Edition

Troubleshooting PCs For Dummies

For Dummies (Computer/Tech)

Information Architecture

For the Web and Beyond : 4th Edition

Bash Pocket Reference

Help for Power Users and Sys Admins : 2nd Edition

Windows 11 for Seniors in Easy Steps

In Easy Steps

Fluent React

Build Fast, Performant, and Intuitive Web Applications

Laws of UX

2nd Edition - Using Psychology to Design Better Products & Services

This product is categorised by