Logic Programming Petri Nets

@article{Sileno2017LogicPP,
  title={Logic Programming Petri Nets},
  author={Giovanni Sileno},
  journal={ArXiv},
  year={2017},
  volume={abs/1701.07657}
}
With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separates the process component, treated with Petri nets, from the constraint/terminological component… CONTINUE READING
3
Twitter Mentions

References

Publications referenced by this paper.
SHOWING 1-10 OF 32 REFERENCES