pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: PETRI NET TECHNOLOGY FOR COMMUNICATION-BASED SYSTEMS
ADVANCES IN PETRI NETS
By: Hartmut Ehrig (Editor), Wolfgang Reisig (Editor), Grzegorz Rozenberg (Editor)
Format: Paperback

List price: £84.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540205381
ISBN 13: 9783540205388
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 25 November, 2003
Series: Lecture Notes in Computer Science v.2472
Pages: 468
Description: This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.
Synopsis: This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001,respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this ?eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi?ed into the following two areas: - Petri net technology and - application to communication-based systems.Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers.
Illustrations: biography
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
A DECADE OF CONCURRENCY: REFLECTIONS AND PERSPECTIVES (PB)
A PRIMER IN PETRI NET DESIGN (HB)
A PRIMER IN PETRI NET DESIGN (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS (PB)
ADVANCES IN PETRI NETS 1986 (PB)
ADVANCES IN PETRI NETS 1988 (PB)
ADVANCES IN PETRI NETS 1990 (PB)
ALGEBRAIC SPECIFICATION TECHNIQUES AND TOOLS FOR SOFTWARE DEVELOPMENT: THE ACT APPROACH (HB)
APPLICATION AND THEORY OF PETRI NETS (PB)
APPLICATION AND THEORY OF PETRI NETS (PB)
APPLICATION OF PETRI NETS TO COMMUNICATION NETWORKS (PB)
APPLICATIONS AND THEORY OF PETRI NETS 2004 (PB)
ASPECTS OF MOLECULAR COMPUTING (PB)
BOOK OF TRACES, THE (HB)
CARL ADAM PETRI: IDEAS, PERSONALITY, IMPACT (HB)
CATEGORICAL METHODS IN COMPUTER SCIENCE (PB)
CONCURRENCY AND HARDWARE DESIGN (PB)
CONCURRENCY AND NETS (PB)
CONCURRENT OBJECT-ORIENTED PROGRAMMING AND PETRI NETS (PB)
CORNERSTONES UNDECIDABILTY (PB)
CURRENT TRENDS IN CONCURRENCY (PB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE - ENTERING THE 21ST CENTURY (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY (IN 2 VOLUMES) (HB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: THE CHALLENGE OF THE NEW CENTURY - VOLUME 2: FORMAL MODELS AND SEMANTICS (HB)
DEVELOPMENTS IN LANGUAGE THEORY (HB)
DEVELOPMENTS IN LANGUAGE THEORY (PB)
DEVELOPMENTS IN LANGUAGE THEORY II, AT THE CROSSROADS OF MATHEMATICS, COMPUTER SCIENCE AND BIOLOGY (HB)
DEVELOPMENTS IN LANGUAGE THEORY: FOUNDATIONS, APPLICATIONS, AND PERSPECTIVES - PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE (HB)
DNA COMPUTING (HB)
DNA COMPUTING (PB)
DNA COMPUTING (PB)
ELEMENTS OF DISTRIBUTED ALGORITHMS (HB)
ELEMENTS OF DISTRIBUTED ALGORITHMS (PB)
FIELDS OF LOGIC AND COMPUTATION (PB)
FORMAL AND NATURAL COMPUTING (PB)
FORMAL METHODS AND SOFTWARE DEVELOPMENT (PB)
FOUNDATIONS OF OBJECT-ORIENTED LANGUAGES (PB)
FUNDAMENTALS OF ALGEBRAIC GRAPH TRANSFORMATION (HB)
FUNDAMENTALS OF ALGEBRAIC GRAPH TRANSFORMATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION (PB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION 1 (HB)
FUNDAMENTALS OF ALGEBRAIC SPECIFICATION 2 (HB)
GRAPH AND MODEL TRANSFORMATION (HB)
GRAPH AND MODEL TRANSFORMATION (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH TRANSFORMATION (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS (PB)
GRAPH TRANSFORMATIONS IN COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE (PB)
GRAPH-GRAMMARS AND THEIR APPLICATION TO COMPUTER SCIENCE AND BIOLOGY (PB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (HB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF FORMAL LANGUAGES (PB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATION, VOL 1: FOUNDATIONS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 2: APPLICATIONS, LANGUAGES AND TOOLS (HB)
HANDBOOK OF GRAPH GRAMMARS AND COMPUTING BY GRAPH TRANSFORMATIONS, VOL 3: CONCURRENCY, PARALLELISM, AND DISTRIBUTION (HB)
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING
HANDBOOK OF NATURAL COMPUTING (HB)
HIGH-LEVEL PETRI NETS (PB)
INFORMATIK (PB)
INTEGRATION OF SOFTWARE SPECIFICATION TECHNIQUES FOR APPLICATIONS IN ENGINEERING (PB)
KATEGORIEN UND AUTOMATE (HB)
LECTURES ON CONCURRENCY AND PETRI NETS (PB)
LECTURES ON EMBEDDED SYSTEMS (PB)
LECTURES ON PETRI NETS I: BASIC MODELS (PB)
LECTURES ON PETRI NETS II: APPLICATIONS (PB)
LINDENMAYER SYSTEMS (HB)
LINDENMAYER SYSTEMS (PB)
LINEAR TIME, BRANCHING TIME AND PARTIAL ORDER IN LOGICS AND MODELS FOR CONCURRENCY (PB)
MATHEMATICAL FOUNDATIONS OF SOFTWARE DEVELOPMENT. PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT (TAPSOFT), BERLIN, MARCH 25-29, 1985 (PB)
MATHEMATISCH-STRUKTURELLE GRUNDLAGEN DER INFORMATIK (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MEMBRANE COMPUTING (PB)
MODELING IN SYSTEMS BIOLOGY (HB)
MODELING IN SYSTEMS BIOLOGY (PB)
MODELLING IN MOLECULAR BIOLOGY (HB)
MODELLING IN MOLECULAR BIOLOGY (PB)
MULTISET PROCESSING (PB)
NANOTECHNOLOGY (HB)
NANOTECHNOLOGY (PB)
PETRI NETS (HB)
PETRI NETS (PB)
PETRI NETS (PB)
PETRINETZE (PB)
RAINBOW OF COMPUTER SCIENCE (PB)
RECENT TRENDS IN DATA TYPE SPECIFICATION (PB)
RECENT TYPES IN DATA TYPE SPECIFICATION (PB)
RESULTS AND TRENDS IN THEORETICAL COMPUTER SCIENCE (PB)
SEMANTICS, FOUNDATIONS AND APPLICATIONS (PB)
STEPWISE REFINEMENT OF DISTRIBUTED SYSTEMS (PB)
STRUCTURES IN LOGIC AND COMPUTER SCIENCE (PB)
SYSTEMENTWURF MIT NETZEN (PB)
TAPSOFT '87: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, PISA, ITALY, MARCH 1987 (PB)
TAPSOFT '87: PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, PISA, ITALY, MARCH 23 - 27 1987 (PB)
THE MATHEMATICAL THEORY OF L SYSTEMS
THE OXFORD HANDBOOK OF MEMBRANE COMPUTING (HB)
THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS (PB)
THEORY OF 2-STRUCTURES, THE: A FRAMEWORK FOR DECOMPOSITION AND TRANSFORMATION OF GRAPHS (HB)
THERMOMECHANICS OF PHASE TRANSITIONS IN CLASSICAL FIELD THEORY (HB)
UNDERSTANDING PETRI NETS (HB)
UNDERSTANDING PETRI NETS (PB)
UNIFYING PETRI NETS (PB)

TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems? (Paperback)
Guardian Faber Publishing
Our Price : £8.02
more details
Mathematical Proofs: Pearson New International Edition (Paperback)
Pearson Education Limited
Our Price : £62.89
more details
The Foundations of Mathematics (Paperback)
Oxford University Press
Our Price : £20.99
more details
Introducing Infinity (Paperback)
Icon Books Ltd
Our Price : £6.56
more details
Logic for Dummies (Paperback)
John Wiley and Sons Ltd
Our Price : £13.86
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics
 mathematical foundations
 mathematical logic


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket