Dear Colleguages, last week in Paris, we had an informal editing meeting on ISO/IEC-15909-2, which will be a standard for exchanging high-level Petri nets (see http://www.upb.de/cs/kindler/Publikationen/copies/ISO-IEC15909-2-WD0.9.0.Ballot.pdf for the lates version). We made quite some progress.
One open issue, however, is the mapping of the inscriptions of high-level Petri nets to MathML, which can be done in many different ways. In order to get an overview on the possiblities, we decided to collect as many examples or proposals as possible first. So, I would like to invite you to send us some examples, on how you would like to represent the inscriptions of high-level nets in MathML. Please, send your proposals to Lom Hillah <[EMAIL PROTECTED]> by end of February. He will collect them and make them available for discussion. Based on these examples and proposals, we will make a concrete proposal on how to map high-level inscriptions to MathML -- to be discussed by email and at the PNML Forum in Abo/Turku). Best regards, Ekkart Kindler -- Ekkart Kindler Tel.: +49 (0) 5251 60 3320 Institut fuer Informatik Fax.: +49 (0) 5251 60 3530 Universitaet Paderborn Room: E3.167 Warburger Str. 100 mailto:[EMAIL PROTECTED] D-33098 Paderborn http://www.uni-paderborn.de/cs/kindler Germany ---- [[ 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] ]]
