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 (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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Jensen, Kurt (Επιμελητής έκδοσης), Aalst, Wil M. P. van der (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:Lecture Notes in Computer Science, 5460
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.