Cover Image

Petri Net Algebra /

Show other versions (1)

This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is deri...

Full description

Bibliographic Details
Main Author:	Best, Eike
Corporate Author:	SpringerLink (Online service)
Other Authors:	Devillers, Raymond, Koutny, Maciej, 1958-
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2001.
Series:	Monographs in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Logic design. Computational complexity. Algebra > Data processing. Algebra. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Introduction to Process Algebra /
by: Fokkink, Wan
Published: (2000)

Universal Algebra for Computer Scientists /
by: Wechler, Wolfgang
Published: (1992)

Finiteness and Regularity in Semigroups and Formal Languages /
by: Luca, Aldo
Published: (1999)

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics /
by: Ehrig, Hartmut
Published: (1985)

Fundamentals of Algebraic Specification 2 : Module Specifications and Constraints /
by: Ehrig, Hartmut
Published: (1990)

Process Algebra with Timing /
by: Baeten, J. C. M.
Published: (2002)

Algebra, Geometry and Software Systems /
by: Joswig, Michael
Published: (2003)

Applications of Computer Algebra /
by: Pavelle, Richard
Published: (1985)

Ordered Sets : Proceedings of the NATO Advanced Study Institute held at Banff, Canada, August 28 to September 12, 1981 /
by: Rival, Ivan
Published: (1982)

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings /
Published: (1988)

Automated Practical Reasoning : Algebraic Approaches /
by: Pfalzgraf, Jochen
Published: (1995)

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

Graphs and Order : the Role of Graphs in the Theory of Ordered Sets and Its Applications /
by: Rival, Ivan
Published: (1985)

Power Algebras over Semirings : With Applications in Mathematics and Computer Science /
by: Golan, Jonathan S.
Published: (1999)

Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings /
by: Kirchner, H. (Hélène)
Published: (1996)

Parallel Algorithms for Irregular Problems: State of the Art /
by: Ferreira, Afonso
Published: (1995)

Advanced Relational Programming /
by: Cacace, Filippo
Published: (1996)

Algebras and Orders /
by: Rosenberg, I. G. (Ivo G.), 1939-
Published: (1993)

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

Computers and Mathematics /
by: Kaltofen, Erich
Published: (1989)

Sensation and Measurement : Papers in Honor of S.S. Stevens /
by: Moskowitz, Howard R.
Published: (1974)

Effective Polynomial Computation /
by: Zippel, Richard
Published: (1993)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Semirings and their Applications /
by: Golan, Jonathan S.
Published: (1999)

Semirings and Affine Equations over Them: Theory and Applications /
by: Golan, Jonathan S.
Published: (2003)

Logic Functions and Equations : Binary Models for Computer Science /
by: Posthoff, Christian
Published: (2004)

Invariant Methods in Discrete and Computational Geometry : Proceedings of the Curaçao Conference, 13-17 June, 1994 /
by: White, Neil L.
Published: (1995)

Pi - Unleashed /
by: Arndt, Jörg
Published: (2001)

A Singular Introduction to Commutative Algebra /
by: Greuel, G.-M. (Gert-Martin)
Published: (2002)

Z User Workshop, London 1992 : Proceedings of the Seventh Annual Z User Meeting, London 14-15 December 1992 /
by: Bowen, J. P.
Published: (1993)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Programming Languages and Systems - ESOP '96 : 6th European Symposium on Programming, Linköping, Sweden, April, 22-24, 1996. Proceedings /
by: Nielson, Hanne R.
Published: (1996)

Industrial-Strength Formal Methods in Practice /
by: Hinchey, Michael G.
Published: (1999)

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE) /
by: Ehrig, Hartmut
Published: (1985)

TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23-27, 1987 /
Published: (1987)

Programming and Mathematical Method : International Summer School /
by: Broy, Manfred
Published: (1992)

Algebraic Methodology and Software Technology (AMAST'93) : Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, the Netherlands 21-25 June 1993 /
by: Nivat, M.
Published: (1994)

Duration Calculus : A Formal Approach to Real-Time Systems /
by: Chaochen, Zhou
Published: (2004)

Fairness /
by: Francez, Nissim
Published: (1986)

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium /
by: Ehrig, Hartmut
Published: (1987)