Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems

Transactions on Petri Nets and Other Models of Concurrency II Special Issue on Concurrency in Process-Aware Information Systems / edited by Wil M. P. van der Aalst.

Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) II These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, a...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: van der Aalst, Wil M. P. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Transactions on Petri Nets and Other Models of Concurrency, 5460
Springer eBook Collection.
Subjects:
Computer programming.
Software engineering.
Computers.
Computer simulation.
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:
  • Process-Aware Information Systems: Lessons to Be Learned from Process Mining
  • Model-Based Software Engineering and Process-Aware Information Systems
  • Petri Net Transformations for Business Processes – A Survey
  • A Look Around the Corner: The Pi-Calculus
  • newYAWL: Towards Workflow 2.0
  • A Formal Model for Organisational Structures behind Process-Aware Information Systems
  • Flexibility in Process-Aware Information Systems
  • Business Grid: Combining Web Services and the Grid
  • Does My Service Have Partners?
  • Deciding Substitutability of Services with Operating Guidelines
  • A Framework for Linking and Pricing No-Cure-No-Pay Services
  • Empirical Studies in Process Model Verification
  • Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
  • Construction of Process Models from Example Runs
  • Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments
  • Exploiting Inductive Logic Programming Techniques for Declarative Process Mining.

Similar Items