Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Liveness in Interaction Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Everything Is PSPACE-Complete in Interaction Systems
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Decompositional Petri Net Reductions
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Deriving complexity results for interaction systems from 1-safe Petri nets
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Reachability in Tree-Like Component Systems is PSPACE-Complete
Electronic Notes in Theoretical Computer Science (ENTCS)
Interacting Workflow Nets for Workflow Process Re-Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Analyzing component-based systems on the basis of architectural constraints
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Analyzing Compatibility of Services via Resource Conformance
Fundamenta Informaticae - Concurrency, Specification and Programming
Hi-index | 0.00 |