Login / Signup
Formalizing and Verifying Natural Language System Requirements using Petri Nets and Context based Reasoning.
Aishwarya Chhabra
Amit Sangroya
C. Anantaram
Published in:
MRC@IJCAI (2018)
Keyphrases
</>
petri net
natural language
manufacturing systems
petri net model
discrete event systems
fuzzy petri net
colored petri nets
ims ld
machine learning
service composition
stochastic petri net
knowledge representation
discrete dynamical systems
state machines
process model
concurrent systems
collaborative learning