Encoding Higher Level Extensions of Petri Nets in Answer Set Programming.
Saadat AnwarChitta BaralKatsumi InouePublished in: LPNMR (2013)
Keyphrases
- petri net
- answer set programming
- higher level
- default theories
- logic programming
- logic programs
- answer sets
- low level
- petri net model
- discrete event systems
- constraint logic programming
- default logic
- colored petri nets
- fuzzy petri net
- service composition
- causal theories
- stochastic petri net
- answer set programs
- high level
- stable model semantics
- haplotype inference
- ims ld
- stable models
- fuzzy rules
- declarative programming
- natural language