Plan validation via petri nets in the real-time performers Java framework

Andrea Trentini, Daniela Micucci. Plan validation via petri nets in the real-time performers Java framework. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 1534-1538, ACM, 2005. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.