Towards a modular analysis of coloured Petri nets-Reference-Cited by-同舟云学术

Towards a modular analysis of coloured Petri nets

Published:1992 Issue: Volume: Page:113-133
ISSN:0302-9743
Container-title:Application and Theory of Petri Nets 1992
language:
Short-container-title:

Author:

Christensen Søren,Petrucci Laure

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55676-1_7.pdf

Reference19 articles.

1. E. Battiston, F. De Cindio, G. Mauri: OBJSA nets systems: a class of high-level nets having objects as domains. In: G. Rozenberg (ed.): Advances in Petri Nets 1988. Lecture Notes in Computer Science, vol 340. Springer-Verlag, 1988, pp. 20–43. Also in [JR91], pp. 189–212.

2. E. Battiston, L. Petrucci, L. Rapanotti: Establishing a relationship between OBJSA nets systems and algebraic nets schemes. DEMON Esprit BRA n∘ 3148, Technical Report 185, 1991.

3. S. Christensen, N. Damgaard Hansen: Coloured Petri nets extended with channels for synchronous communication. Daimi PB-390, ISSN 0105-8517, April 1992.

4. G. Chehaibar: Use of reentrant nets in Modular analysis of coloured Petri nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1991. Lecture Notes in Computer Science, vol 524. Springer-Verlag, 1991, pp. 58–77. Also in [JR91], pp. 596–617.

5. S. Christensen, L. O. Jepsen: Modelling and simulation of a network management system using hierarchical coloured Petri nets. In Erik Mosekilde (ed.):-Proceedings of the 1991 European Simulation Multiconference. ISBN 0-911801-92-8, pp. 47–52. An extended version available as: Daimi PB-349, ISSN 0105-8517, April 1991.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimizing Verification of Structurally Evolving Algebraic Petri Nets;Lecture Notes in Computer Science;2013

2. Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty;Applications and Theory of Petri Nets 2005;2005

3. On the Use of Coloured Petri Nets for Object-Oriented Design;Lecture Notes in Computer Science;2004

4. A Visual Formalism for the Composition of Stochastic Petri Nets;Computer Performance Evaluation: Modelling Techniques and Tools;2002

5. KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects;Concurrent Object-Oriented Programming and Petri Nets;2001