1 option
Lectures on Petri Nets II: Applications : Advances in Petri Nets / edited by Wolfgang Reisig, Grzegorz Rozenberg.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 1492.
- Lecture Notes in Computer Science, 0302-9743 ; 1492
- Language:
- English
- Subjects (All):
- Computers.
- Software engineering.
- Computer networks.
- Information technology.
- Business--Data processing.
- Business.
- Computational complexity.
- Theory of Computation.
- Software Engineering.
- Computer Communication Networks.
- IT in Business.
- Complexity.
- Local Subjects:
- Theory of Computation.
- Software Engineering.
- Computer Communication Networks.
- IT in Business.
- Complexity.
- Physical Description:
- 1 online resource (XIII, 487 pages).
- Edition:
- First edition 1998.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-49441-6
- 9783540494416
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.