True, i couldn't remember exactly what he did with PNML in the book.
But I supposed that his application would be a good starting point for
anyone wanting to work with PNML in some way with XSLT.
Cheers,
Bryan Rasmussen
On 9/10/06, stgn(_at_)gmx(_dot_)net <stgn(_at_)gmx(_dot_)net> wrote:
The book Professional XSL is great, however, the PNML section you mentioned
does not talk about the model transformation problem I have. It's more about
simulating and visualizing a Petri net with XSLT.
Regards
Sagi
>Thanks for both your postings.
>
>I'll have a look the the book Professional XSL. It might take a few
>days until the library has it ready.
>
>Thanks for the hint. Unfortunatelly, I haven't found any work by
>Michael Corning on PNML neither in Google, Google Scholar, Yahoo nor
>CiteSeer. However, a few webpages mention PNML with reference to his
>book Web Service Faceplates from Wrox.
>
>Regards
>Sagi
>
>
>
>
>At 04.09.2006 15:22 +0200, you wrote:
>>just checked the page closer, is old and out of date. I suppose if you
>>can find the book used somewhere it can be useful or if you can find
>>Corning's work via google on PNML.
>>
>>Cheers,
>>Bryan
>>
>>On 9/4/06, bryan rasmussen <rasmussen(_dot_)bryan(_at_)gmail(_dot_)com> wrote:
>>> The book Professional XSL from Wrox had some transforms for working
>>> with Petri Nets, can't remember exactly what was being done though.
>>>
>>> Michael Corning, whose transforms were used, has a homepage here (not
>>> sure about current status of it)
>>> http://authors.aspalliance.com/mcorning/ where some mention is made of
>>> the petri nets stuff.
>>>
>>> Cheers,
>>> Bryan
>>>
>>> On 9/4/06, stgn(_at_)gmx(_dot_)net <stgn(_at_)gmx(_dot_)net> wrote:
>>> > Hello
>>> >
>>> > How can I find/describe patterns in a Petri net graph with XSLT?
>>> >
>>> > For instance a sequence, a concurrency, AND-split, AND-join,
>>OR-split,
>>> > OR-join or a while loop.
>>> >
>>> > Below you see a Petri net model (source model) which I would like to
>>> > transform into a BPEL model (target model).
>>> >
>>> > Can you tell me what the corresponding XSLT code would look like?
>>> >
>>> > My problem is to find patterns in a graph representation (Petri net)
>>> > and to transform them into a tree representation (BPEL). It might be
>>> > that such a transformation is not possible with the Petri net
>example
>>> > given below or that the Petri net XML would need further information
>>> > (for example an attribute attached to a transition saying "this is
>>the
>>> > start of an AND-split").
>>> >
>>> > I am grateful for any hints. If you need any further information to
>>> > solve the problem, please let me know.
>>> >
>>> > Regards
>>> > Sagi
>>> >
>>> > --------------------
>>> > source model
>>> > --------------------
>>> > <?xml version="1.0"?>
>>> > <petrinet>
>>> >
>>> > <!-- start of Petri net -->
>>> > <place id="1"></place>
>>> > <transition id="2"></transition>
>>> >
>>> > <!-- upper flow of concurrency -->
>>> > <place id="10"></place>
>>> > <transition id="11"></transition>
>>> > <place id="12"></place>
>>> > <transition id="13"></transition>
>>> > <place id="14"></place>
>>> >
>>> > <!-- lower flow of concurrency -->
>>> > <place id="20"></place>
>>> > <transition id="21"></transition>
>>> > <place id="22"></place>
>>> >
>>> > <!-- end of Petri net -->
>>> > <transition id="3"></transition>
>>> > <place id="4"></place>
>>> >
>>> > <!-- arcs connecting places and transitions -->
>>> > <arc>
>>> > <from>1</from>
>>> > <to>2</to>
>>> > </arc>
>>> > <!-- next 2 arcs define an AND-split -->
>>> > <arc>
>>> > <from>2</from>
>>> > <to>10</to>
>>> > </arc>
>>> > <arc>
>>> > <from>2</from>
>>> > <to>20</to>
>>> > </arc>
>>> > <!-- upper flow of concurrency -->
>>> > <arc>
>>> > <from>10</from>
>>> > <to>11</to>
>>> > </arc>
>>> > <arc>
>>> > <from>11</from>
>>> > <to>12</to>
>>> > </arc>
>>> > <arc>
>>> > <from>12</from>
>>> > <to>13</to>
>>> > </arc>
>>> > <arc>
>>> > <from>13</from>
>>> > <to>14</to>
>>> > </arc>
>>> > <!-- lower flow of concurrency -->
>>> > <arc>
>>> > <from>20</from>
>>> > <to>21</to>
>>> > </arc>
>>> > <arc>
>>> > <from>21</from>
>>> > <to>22</to>
>>> > </arc>
>>> >
>>> > <!-- next 2 arcs define an AND-join -->
>>> > <arc>
>>> > <from>14</from>
>>> > <to>3</to>
>>> > </arc>
>>> > <arc>
>>> > <from>22</from>
>>> > <to>3</to>
>>> > </arc>
>>> > <arc>
>>> > <from>3</from>
>>> > <to>4</to>
>>> > </arc>
>>> > </petrinet>
>>> >
>>> >
>>> >
>>> > --------------------
>>> > target model
>>> > --------------------
>>> > <?xml version="1.0"?>
>>> >
>>> > <process>
>>> > <sequence>
>>> > <invoke name="2"/>
>>> > <flow>
>>> > <!-- upper flow of concurrency -->
>>> > <sequence>
>>> > <invoke name="11"/>
>>> > <invoke name="13"/>
>>> > </sequence>
>>> > <!-- lower flow of concurrency -->
>>> > <sequence>
>>> > <invoke name="21"/>
>>> > </sequence>
>>> > </flow>
>>> > <invoke name="3"/>
>>> > </sequence>
>>> > </process>
>>> >
>>> >
>>> >
>--~------------------------------------------------------------------
>>> > XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
>>> > To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
>>> > or e-mail:
<mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
>>> > --~--
>>> >
>>> >
>>>
>>
>>--~------------------------------------------------------------------
>>XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
>>To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
>>or e-mail:
<mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
>>--~--
>>
>>
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--