H. Ehrig and J. Padberg, Introduction to Universal Parametrized Net Classes, MoveOn-Proc. der DFG-Forschergruppe "Petrinetz-Technologie" (H. Weber, H. Ehrig, and W. Reisig, eds.), Technical Report, Technical University Berlin,1997, To appear.  Home/Search   Document Not in Database   Summary   Related Articles

....in the same way, considering a trivial data type for lowlevel nets. General notions, like firing behaviour, that are essential for all kinds of Petri nets, low as well as high level, are formulated independently of their specific definition within a fixed net class. In our forthcoming paper [EP97], that is based on the PhD thesis [Pad96] of the second author, we present an extended version of parametrized net classes using category theory. This extended approach, called universal parametrized net classes, is sketched in section 3. It allows the easy transfer of results between different ....

....follower marking m 0 2 F (P ) obtained by firing v under m is given by m 0 = b m post(v) The firing of high level nets involves additionally the assignment of values to variables. This can be done nicely using notions from the theory of institution, but exceeds the frame of this paper (see [Pad96, EP97]) Example 2.5.5 (Actual Net Classes) A survey of actual net classes defined by the actual parameter given in example 2.5.2 is given in the table below, where well known net classes are shown as explicit entries in the table while each blank corresponds to a new or less well known net class. ....

[Article contains additional citation context not shown here]

H. Ehrig and J. Padberg, Introduction to Universal Parametrized Net Classes, MoveOn-Proc. der DFG-Forschergruppe "Petrinetz-Technologie" (H. Weber, H. Ehrig, and W. Reisig, eds.), Technical Report, Technical University Berlin,1997, To appear.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC