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...
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | 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.