High-Level Petri Nets-Reference-Cited by-同舟云学术

High-Level Petri Nets

Published:1983 Issue: Volume: Page:166-180
ISSN:0343-3005
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Jensen Kurt

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-69028-0_12.pdf

Reference6 articles.

1. H.J. Genrich and K. Lautenbach, System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981) 109–136.

2. K. Jensen, Coloured Petri nets and the invariant-method, Theoretical Computer Science 14 (1981) 317–336.

3. K. Jensen, How to find invariants for coloured Petri nets, in: Mathematical Foundation of Computer Science 1981, J. Gruska and M. Chytil (eds.), Lecture Notes in Computer Science, vol. 118, Springer Berlin 1981, 327–338.

4. K. Lautenbach, Liveness in Petri nets, Interner Bericht ISF-75-02.1, GMD Bonn (1975).

5. G. Memmi and G. Roucairol, Linear algebra in net theory, in: W. Brauer (ed.), Net theory and applications, Hamburg 1979, Lecture Notes in Computer Science vol. 84, Springer Berlin 1980, 213–223.

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

1. Distributed Petri nets for model-driven verifiable robotic applications in ROS;Innovations in Systems and Software Engineering;2024-06-25

2. Application of Binary Petri Nets to Knowledge Representation and Inference;Lecture Notes in Networks and Systems;2024

3. DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Introduction;Formal Analysis by Abstract Interpretation;2021-12-14

5. A formally verified blockchain-based decentralised authentication scheme for the internet of things;The Journal of Supercomputing;2021-05-15