Modular state space analysis of coloured Petri Nets-Reference-Cited by-同舟云学术

Modular state space analysis of coloured Petri Nets

Published:1995 Issue: Volume: Page:201-217
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
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-60029-9_41

Reference12 articles.

1. 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.

2. S. Christensen, L. Petrucci: Towards a modular analysis of coloured Petri nets. In: K. Jensen (ed.): Application and Theory of Petri Nets 1992. Lecture Notes in Computer Science, vol. 616, Springer-Verlag, 1992, 113–133. Also available as: Daimi PB-391, ISSN 0105–8517, April 1992.

3. P. Huber, K. Jensen and R. M. Shapiro: Hierarchies in coloured Petri nets. In: G. Rozenberg (ed.): Advances in Petri Nets 1990. Lecture Notes in Computer Science, vol. 383. Springer-Verlag, 1990, pp. 342–416. Also in [JR91], pp. 215–243.

4. K. Jensen: Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 1: Basic concepts. EATCS monographs on Theoretical Computer Science, Springer-Verlag 1992.

5. K. Jensen: Coloured Petri nets. Basic concepts, analysis methods and practical use. Volume 2: Analysis methods. To appear in: EATCS monographs on Theoretical Computer Science, Springer-Verlag 1994.

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

1. Verifying Temporal Logic Properties in the Modular State Space;Lecture Notes in Computer Science;2024

2. Robotic Sorting Line Model Using Coloured Petri Net;Software Engineering and Algorithms;2021

3. A Petri Net View of Mobility;Formal Techniques for Networked and Distributed Systems - FORTE 2005;2005

4. On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model;Lecture Notes in Computer Science;2005

5. Model Checking Safety Properties in Modular High-Level Nets;Applications and Theory of Petri Nets 2003;2003