Inproceedings,

A Holistic State Equation for Timed Petri Nets.

, , , and .
CS&P, volume 1032 of CEUR Workshop Proceedings, page 448-456. CEUR-WS.org, (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews