[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

Re: [xsl] Petri net to BPEL model transformation > How to find patterns?

---

---

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@xxxxxxx <stgn@xxxxxxx> 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.bryan@xxxxxxxxx> 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@xxxxxxx <stgn@xxxxxxx> 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>

---