Author:
Christensen Søren,Damgaard Hansen Niels
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. S. Christensen, N. Damgaard Hansen: Coloured Petri nets extended with channels for synchronous communication. Daimi PB-390, ISSN 0105-8517, April 1992. Available as: Daimi PB-390, ISSN 0105-8517, April 1992.
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.
3. T. Hildebrand and N. Trèves: S-CORT: A method for the development of electronic payment systems. In: G. Rozenberg (ed.): Advances in Petri Nets 1989, Lecture Notes in Computer Science vol. 424, Springer-Verlag 1990, 262–280.
4. C. A. R. Hoare: Communicating sequential processes ISBN 0-13-153289-8, Prentice Hall, 1985.
5. 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, 342–416. Also in [JR91], 215–243.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. RenewKube: Reference Net Simulation Scaling with Renew and Kubernetes;Application and Theory of Petri Nets and Concurrency;2019
2. Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics;Transactions on Petri Nets and Other Models of Concurrency XIV;2019
3. Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets;Transactions on Petri Nets and Other Models of Concurrency XIII;2018
4. Introduction;Prototyping of Concurrent Control Systems Implemented in FPGA Devices;2016-10-01
5. Conclusions and Future Work;SpringerBriefs in Electrical and Computer Engineering;2016