Dear all,
I have been using CPN Tools to model a complex processor and have
encountered a problem prevent me making further progress. As we know,
standard ML supports definition of abstract type and polymorphic type. But
CPNML doesn't support definition of abstract type and polymorphic type, is
it right? Unfortunately, I have to put instructions of different types into
a single place. Can I make some changes to CPN Tools to make it support
this feature? How can I do this in the absence of source code of CPN Tools?
Is there some tricks, such as making changes to configure file, or making
changes to CPNXML? I haven't got any clue about it yet. Or is there any
other tool for petri net suitable for my work? Looking forward to any
suggestions. Thanks.
Best Wishes
--
Ming
Lin
Tsinhua University, BeiJing, P.R.CHINA, 100084
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
