Unifying Petri Nets Advances in Petri Nets

Unifying Petri Nets Advances in Petri Nets / edited by Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg.

Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ehrig, Hartmut (Editor), Juhas, Gabriel (Editor), Padberg, Julia (Editor), Rozenberg, Grzegorz (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:1st ed. 2001.
Series:Lecture Notes in Computer Science, 2128
Springer eBook Collection.
Subjects:
Computers.
Software engineering.
Mathematical logic.
Computer logic.
Computer communication systems.
Computer science—Mathematics.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • “What Is a Petri Net?” Informal Answers for the Informed Reader
  • Application Oriented Approaches
  • The ?Petri Net Baukasten?: An Overview
  • Improving the Usability of Petri Nets with the ?Petri Net Baukasten?
  • Implementation of Parameterized Net Classes with the Petri Net Kernel of the ?Petrinetz-Baukasten?
  • Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models
  • Unifying Frameworks
  • Petri Nets over Partial Algebra
  • Parameterized Net Classes: A Uniform Approach to Petri Net Classes
  • Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
  • Rewriting Logic as a Unifying Framework for Petri Nets
  • Theoretical Approaches
  • Generalized Automata and Their Net Representations
  • On Concurrent Realization of Reactive Systems and Their Morphisms
  • Transactions and Zero-Safe Nets
  • Two Algebraic Process Semantics for Contextual Nets
  • Continuous Petri Nets and Transition Systems.

Similar Items