Journal of Systems and Software · 2012 · 36 citations · 32 references
ComputingComputer SystemsSystems EngineeringFault-tolerant ComputingFault-tolerant SystemsSystems ArchitectureDependability AnalysisPetri NetsService-oriented ArchitectureComposition Of Stateful ServicesPetri Net AnalysisPetri Net ModelsPetri Net-based State ModelingService Composition Patterns
32
Petri nets: Properties, analysis and applications
T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations
Web Services Business Process Execution Language Version 2.0
Charlton Barreto, Vaughn Bullard, Thomas Erl et al. · 2007 · 2.8K citations