On abstractions of nets-Reference-Cited by-同舟云学术

On abstractions of nets

Published: Issue: Volume: Page:78-92
ISSN:
Container-title:Advances in Petri Nets 1991
language:
Short-container-title:

Author:

Desel Jörg

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0019970.pdf

Reference7 articles.

1. Best, E.; Fernandez C., C.: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD Nr.195 (1987)

2. Desel, J; Merceron, A.: Vicinity Respecting Net Morphisms. Advances in Petri Nets 1990, LNCS Vol.483, 165–185 (1991)

3. Genrich, H.J.; Lautenbach, K; Thiagarajan, P.S.: Elements of General Net Theory. Net Theory and Applications, LNCS Vol.84, 21–163 (1980)

4. Goltz, U., van Glabbeek, R.: Refinement of Actions in Causality Based Models. REX Workshop on Stepwise Refinement of Distributed Systems, LNCS Vol.430, 267–300 (1990)

5. Petri, C.A.: Concepts of Net Theory. MFCS, Proceedings of Symposium and Summer School, High Tatras. Math. Inst. of the Slovak Acad. of Science, 137–146 (1973)

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

1. Skeleton Abstraction for Universal Temporal Properties;Fundamenta Informaticae;2022-10-19

2. Skeleton Abstraction for Universal Temporal Properties;Application and Theory of Petri Nets and Concurrency;2021

3. Vicinity Respecting Homomorphisms for Abstracting System Requirements;Transactions on Petri Nets and Other Models of Concurrency IV;2010

4. An Algorithm for Eliminating Duplicate Labels of a Labelled Petri Net;2008 ISECS International Colloquium on Computing, Communication, Control, and Management;2008

5. Transformations in Reconfigurable Place/Transition Systems;Concurrency, Graphs and Models;2008