Login / Signup
Property-Transition-Net-Based Workflow Process Modeling and Verification.
Yu Huang
Hanpin Wang
Peng Yu
Yunni Xia
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
databases
modeling language
real time
query processing
state space
petri net