Master your Minecraft
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Tour our stores


    Recently Viewed clear list


    What I'm Giving | December 4, 2014

    Fred Armisen: IMG Fred Armisen: What I'm Giving



    At Powell's, we feel the holidays are the perfect time to share our love of books with those close to us. For this special blog series, we reached... Continue »

    spacer
Qualifying orders ship free.
$180.25
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Mathematics- Logic and Philosophy

This title in other editions

Other titles in the Lecture Notes in Artificial Intelligence series:

Coloured Petri Nets (Lecture Notes in Artificial Intelligence)

by

Coloured Petri Nets (Lecture Notes in Artificial Intelligence) Cover

 

Synopses & Reviews

Publisher Comments:

This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems. The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.

Table of Contents

Contents Overview: Informal Introduction to Coloured Petri Nets.- Formal Definition of Coloured Petri Nets.- Hierarchical Coloured Petri Nets.- Dynamic and Static Properties of Coloured Petri Nets.- Formal Analysis of Coloured Petri Nets.- Computer Tools for Coloured Petri Nets.- Industrial Applications of Coloured Petri Nets.- References.- Index.

Product Details

ISBN:
9783540609438
Author:
Jensen, K.
Publisher:
Springer
Author:
Jensen, Kurt
Location:
Berlin, Heidelberg
Subject:
Logic
Subject:
Petri nets
Subject:
Software Development & Engineering - General
Subject:
Computer Science
Subject:
Programming - Software Development
Subject:
Software engineering
Subject:
Computation by Abstract Devices
Subject:
Simulation and Modeling
Subject:
Discrete Mathematics in Computer Science
Subject:
Data structures
Subject:
Mathematics-Logic and Philosophy
Subject:
The Arts
Subject:
Computer simulation
Subject:
Computational complexity
Subject:
Data structures (Computer scienc
Copyright:
Edition Number:
2nd ed.
Edition Description:
2nd ed. 1996. 2nd corr. printing
Series:
Monographs in Theoretical Computer Science. An EATCS Series
Series Volume:
[71-102]
Publication Date:
20030431
Binding:
HARDCOVER
Language:
English
Illustrations:
Yes
Pages:
248
Dimensions:
235 x 155 mm 1170 gr

Related Subjects

Computers and Internet » Computers Reference » General
Computers and Internet » Personal Computers » General
Computers and Internet » Software Engineering » General
Engineering » Engineering » General Engineering
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General
Science and Mathematics » Mathematics » Logic and Philosophy

Coloured Petri Nets (Lecture Notes in Artificial Intelligence) New Hardcover
0 stars - 0 reviews
$180.25 In Stock
Product details 248 pages Springer - English 9783540609438 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.