Franklin

Lectures on Petri Nets II: Applications [electronic resource] : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.

Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Format/Description:
Book
1 online resource (XIII, 487 pages)
Edition:
1st ed. 1998.
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 1492
Lecture Notes in Computer Science, 0302-9743 ; 1492
Contained In:
Springer eBooks
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Computers.
Software engineering.
Computer networks.
Information technology.
Business-Data processing.
Computational complexity.
Local subjects:
Theory of Computation. (search)
Software Engineering. (search)
Computer Communication Networks. (search)
IT in Business. (search)
Complexity. (search)
System Details:
text file PDF
Summary:
The two-volume set originates from the Advanced Course on Petri Nets held in Dagstuhl, Germany in September 1996; beyond the lectures given there, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. Together with its companion volume "Lectures on Petri Nets I: Basic Models" this book is the actual reference for the area and addresses professionals, students, lecturers, and researchers who are - interested in systems design and would like to learn to use Petri nets familiar with subareas of the theory or its applications and wish to view the whole area - interested in learning about recent results presented within a unified framework - planning to apply Petri nets in practical situations - interested in the relationship of Petri nets to other models of concurrent systems.
Contents:
Petri nets, process algebras and concurrent programming languages
Petri nets and production systems
Computer Supported Cooperative Work and Petri Nets
Petri nets and digital hardware design
An introduction to the practical use of coloured Petri Nets
Protocol specification using P-graphs, a technique based on coloured Petri Nets
Distributed algorithms for networks of agents
Efficient performance analysis techniques for stochastic well-formed nets and stochastic process algebras
Modelling and analysis of distributed software using GSPNs.
Contributor:
Reisig, Wolfgang. editor., Editor,
Rozenberg, Grzegorz, editor., Editor,
SpringerLink (Online service)
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-49441-6
9783540494416
Publisher Number:
10.1007/3-540-65307-4 doi
Access Restriction:
Restricted for use by site license.