Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations
Service-Oriented Computing and Applications（2014）
Key words
Petri nets,business data processing,formal verification,parallel processing,program compilers,distributed business process,message exchange,natural analysis,natural modeling,parallelism,process data,process-to-Petri-net compiler,service implementation verification,verifiable Petri-net-based process model,Petri net,control flow unfolding,distributed business process,verification,workflow graph
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined