H. Klaudel and E. Pelz. Communication as Unication in the Petri Box Calculus. Technical report, LRI, Universite de Paris Sud, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

.... speci cations with place transition nets leading to algebraic high level nets [25,28] ML with place transition nets leading to Coloured Petri nets [11] OBJ2 with superposed automata nets leading to OBJSA nets [1] and algebraic speci cations with the Petri Box Calculus [2] leading to M nets [17]. Object oriented analysis and programming techniques are currently the de facto standard of software development. This has lead to a variety of object oriented Petri net formalisms combining Petri net structure with token objects or classes (see e.g. 30] 1 As net and marking structure can ....

H. Klaudel and E. Pelz. Communication as Unication in the Petri Box Calculus. Technical report, LRI, Universite de Paris Sud, 1995.

....nets using composition operators. A CCS like algebra for nets annotated with labels was already introduced by [3] In [4] this idea is extended to allow parameters (variables) in the labels. This makes it possible to view the synchronization of complementary labels as communication between subnets [14]. 3.1 The De nition of M nets An M net is a triple (S; T; where S is the set of places, T is the set of transitions, and is a function called inscription that associates: to every place s 2 S, s) a pair ( s j s ) where s is the place label and s is the place annotation, 4 ....

H. Klaudel and E. Pelz. Communication as unication in the petri box calculus. In Proc.of FCT'95, volume 965 of Lecture Notes in Computer Science, pages 303312, 1995.

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