Cover Image

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use /

This is the third volume of a definitive work on coloured Petri nets. It contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, docume...

Full description

Bibliographic Details
Main Author:	Jensen, Kurt
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1997.
Series:	Monographs in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Data structures (Computer science) Computational complexity. Computer simulation. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Coloured Petri Nets : Basic Concepts, Analysis Methods and Practical Use Volume 1 /
by: Jensen, Kurt
Published: (1992)

The Complexity Theory Companion /
by: Hemaspaandra, Lane A.
Published: (2002)

Guide to Computer Viruses : How to avoid them, how to get rid of them, and how to get help /
by: Slade, Robert
Published: (1996)

Object Orientation with Parallelism and Persistence /
by: Freitag, Burkhard
Published: (1996)

Design of Reservation Protocols for Multimedia Communication /
by: Delgrossi, Luca
Published: (1996)

Process Technology /
by: Nitto, Elisabetta
Published: (1998)

Mutation Testing for the New Century /
by: Wong, W. Eric
Published: (2001)

TeX Reference Manual /
by: Bausum, David
Published: (2002)

C2 Compiler Concepts /
by: Teufel, Bernd
Published: (1993)

Real-Time Database Systems : Issues and Applications /
by: Bestavros, Azer
Published: (1997)

Time-Constrained Transaction Management : Real-Time Constraints in Database Transaction Systems /
by: Soparkar, Nandit R.
Published: (1996)

Simulation and Model-Based Methodologies: An Integrative View /
by: Ören, Tuncer I.
Published: (1984)

Information, Coding and Mathematics : Proceedings of Workshop honoring Prof. Bob McEliece on his 60th birthday /
by: Blaum, Mario
Published: (2002)

Geometric Modeling: Theory and Practice : the State of the Art /
by: Strasser, Wolfgang
Published: (1997)

Petri Net Algebra /
by: Best, Eike
Published: (2001)

Complexity of Lattice Problems : a Cryptographic Perspective /
by: Micciancio, Daniele
Published: (2002)

Information and Database Quality /
by: Piattini, Mario, 1966-
Published: (2002)

Maritime Simulation : Proceedings of the First Intercontinental Symposium, Munich, June 1985 /
by: Heller, Moshe R.
Published: (1985)

Algorithms on Trees and Graphs /
by: Valiente, Gabriel
Published: (2002)

Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry /
by: Mehlhorn, Kurt
Published: (1984)

Data Structures and Algorithms 2 : Graph Algorithms and NP-Completeness /
by: Mehlhorn, Kurt
Published: (1984)

Tool Support for System Specification, Development and Verification /
by: Berghammer, Rudolf
Published: (1999)

Distributed Virtual Worlds : Foundations and Implementation Techniques Using VRML, Java, and CORBA /
by: Diehl, Stephan
Published: (2001)

Virtual Environments 2000 : Proceedings of the Eurographics Workshop in Amsterdam, the Netherlands, June 1-2, 2000 /
by: Mulder, Jurriaan
Published: (2000)

Virtual Environments and Scientific Visualization '96 : Proceedings of the Eurographics Workshops in Monte Carlo, Monaco, February 19-20, 1996, and in Prague, Czech Republic, April 23-25, 1996 /
by: Göbel, M. (Martin)
Published: (1996)

Virtual Environments '98 : Proceedings of the Eurographics Workshop in Stuttgart, Germany, June 16-18, 1998 /
by: Göbel, M. (Martin)
Published: (1998)

Virtual Environments '99 : Proceedings of the Eurographics Workshop in Vienna, Austria, May 31-June 1, 1999 /
by: Gervautz, M. (Michael)
Published: (1999)

Open Multithreaded Transactions : A Transaction Model for Concurrent Object-Oriented Programming /
by: Kienzle, Jörg
Published: (2003)

Rendering Techniques '95 : Proceedings of the Eurographics Workshop in Dublin, Ireland, June 12-14, 1995 /
by: Hanrahan, P. M. (Patrick M.)
Published: (1995)

Input/Output in Parallel and Distributed Computer Systems /
by: Jain, Ravi
Published: (1996)

Generic Programming : IFIP TC2 /
by: Gibbons, Jeremy
Published: (2003)

Software Prototyping in Data and Knowledge Engineering /
by: Guida, Giovanni
Published: (1999)

Basics of Software Engineering Experimentation /
by: Juristo, Natalia
Published: (2001)

Introducing Fortran 90 /
by: Chivers, Ian David
Published: (1995)

Data Structures and Algorithms: A First Course /
by: Adamson, Iain T.
Published: (1996)

Come, Let's Play : Scenario-Based Programming Using LSCs and the Play-Engine /
by: Harʼel, Daṿid
Published: (2003)

Usability : Gaining a Competitive Edge /
by: Hammond, Judy
Published: (2002)

Application and Theory of Petri Nets : Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.-26. September 1980 Bad Honnef, 28.-30. September 1981 /
by: Girault, Claude
Published: (1982)

Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27-30, 1982 (under auspices of AFCET, AICA, GI, and EATCS) /
by: Pagnoni, Anastasia
Published: (1983)

Knowledge Discovery and Measures of Interest /
by: Hilderman, Robert J.
Published: (2001)