Encoding Higher Level Extensions of Petri Nets in Answer Set Programming

DOI10.1007/978-3-642-40564-8_12zbMath1405.68040arXiv1306.3548OpenAlexW1517819683MaRDI QIDQ2851238

Saadat Anwar, Katsumi Inoue, Chitta R. Baral

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.3548

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17) Student assessment, achievement control, and rating (aspects of mathematics education) (97D60)

Related Items (1)

Modeling delayed dynamics in biological regulatory networks from time series data

This page was built for publication: Encoding Higher Level Extensions of Petri Nets in Answer Set Programming