5 citations found. Retrieving documents...
Holvoet T. and Verbaeten P., Petri Charts : An Alternative Technique for Hierarchical Net Construction. In Proceedings of the 1995.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Developing Agent Interaction Protocols Using Graphical.. - Paurobally.. (2003)   (Correct)

....messages so as not to render the Petri net illegible. Thus, our conclusion is that Petri nets (including high level or coloured) are not ideal for representing agent interaction protocols because of weaknessess in expressiveness and scalability. 4.2. 3 Petri Charts Petri charts are presented in [7] and are based on Petri net and statechart notations. Petri charts introduce hierarchical net construction in Petri nets with subnets and super places, allowing net refinements and composition. The approach in [7] focusses on Petri nets, but adding to them the abstraction capabilities of ....

....in expressiveness and scalability. 4.2.3 Petri Charts Petri charts are presented in [7] and are based on Petri net and statechart notations. Petri charts introduce hierarchical net construction in Petri nets with subnets and super places, allowing net refinements and composition. The approach in [7] focusses on Petri nets, but adding to them the abstraction capabilities of statecharts. However, how a Petri net adds to a statechart is not analysed. Even though Petri charts facilitate a modular approach to the construction of protocols, the above issue about the complexity of Petri nets for ....

[Article contains additional citation context not shown here]

T. Holvoet and P. Verbaeten. Petri charts: an alternative technique for hierarchical net construction. In Proceedings of IEEE Conference on System, Man, and Cybernetics, October, 1995.


PN-TOX: a Paradigm and Development Environment for Object.. - Holvoet, Verbaeten (1995)   (6 citations)  Self-citation (Holvoet Verbaeten)   (Correct)

....to describe the cooperation between a NewProducer object and a Consumer object, we can not reuse the previous composition object, since there is no longer a single transition send in the NewProducer object net. The solution that we shortly present here is Petri charts. Petri charts, introduced in [15], are a hierarchical net construction technique that is based on the ideas of statecharts ( 12] It is basically a net refinement technique where the refined places and or tran produce produce send NewProducer NewProducer object net NewProducer NewProducer object net Figure 9: Behavioural ....

....of abstraction. An important property of Petri charts is that local transformations, defined for transforming Petri nets, can be adopted in the Petri chart technique. This enables the reuse of the available research results on local transformations. For more details, the reader is referred to [15]. One deliverable of using Petri charts in PN TOX is that it enables the reuse of the composition objects in the presence of inheritance relations. In our example, this means that the Petri chart of the NewProducer objects retain a (however refined) transition send. The composition object in ....

T. Holvoet and P. Verbaeten. Petri Charts: an Alternative Technique For Hierarchical Net Construction. In IEEE Conference on Systems, Man and Cybernetics 1995, 1995. To Appear.


A Comparison Framework and Assessment of two Specification.. - Elkoutbi, Keller (2002)   (Correct)

No context found.

Holvoet T. and Verbaeten P., Petri Charts : An Alternative Technique for Hierarchical Net Construction. In Proceedings of the 1995.


Meta-modelling of Dynamic Aspects: The Noesis Approach - Dominguez, Rubio, Zapata   (Correct)

No context found.

T. Holvoet and P. Verbaeten. Petri charts: An alternative technique for hierarchical net construction. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics,volume3, pages 2688--2693. IEEE, 1995.


HOONets: Hierarchical Object-Oriented Petri Nets for System.. - Hong, Bae (1998)   (Correct)

No context found.

T. Holvoet and P. Verbaeten, "Petri Charts: an Alternative Technique for Hierarchical Net Construction," Proceedings of IEEE Conference on System, Man, and Cybernetics, October, 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