Comment 11 for bug 1232486
Revision history for this message
| Jonas Finnemann Jensen (jopsen) wrote | #11 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
1b1ed1a
(Get the code!)
> the PNML standard syntax for untimed nets
Maybe, I think the PNML standard syntax for untimed nets is pretty vague on how weights should be specified.
If think that standard PNML is a strict subset of TAPAAL-PNML... I can't access PNML specification, but from the examples
I would think that we do parse standard untimed PNML correctly.
But I wouldn't recommend submission to contests without testing this... If you do so, feel free to add such standard PNML syntax tests to the Test/ folder, see README.mkd for instructions on how to name them correctly.