Vicinity respecting net morphisms-Reference-Cited by-同舟云学术

Vicinity respecting net morphisms

Published:1991 Issue: Volume: Page:165-185
ISSN:0302-9743
Container-title:Advances in Petri Nets 1990
language:
Short-container-title:

Author:

Desel Jörg,Merceron Agathe

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-53863-1_25.pdf

Reference10 articles.

1. Best, E.; Fernández C., C.: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD Nr.195, GMD St.Augustin, FRG (1986).

2. Best, E.; Desel, J.: Partial Order Behaviour and Structure of Petri Nets. Formal Aspects of Computing Vol.2 pp.123–138 (1990).

3. Desel, J.; Merceron A.: P/T-systems as Abstractions of C/E-systems. In: Advances in Petri Nets 1989, Lecture Notes in Computer Science Vol.424 pp.105–127, Springer-Verlag (1990). Extended Version as: Arbeitspapiere der GMD Nr.331, GMD St.Augustin, FRG (1988).

4. Fernández C., C.: Net Topology I. Interner Bericht der GMD ISF-75-9 GMD St.Augustin, FRG (1975). Net Topology II. Interner Bericht der GMD ISF-76-2, GMD St.Augustin, FRG (1976).

5. Genrich, H.J.; Lautenbach, K.; Thiagarajan, P.S.: Elements of General Net Theory. In: Net theory and Applications; Brauer W. (Ed.), Lecture Notes in Computer Science Vol.84 pp.21–163, Springer-Verlag (1980).

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

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

2. Conceptual Modeling of Concurrent Systems through Stepwise Abstraction and Refinement Using Petri Net Morphisms;Conceptual Modeling - ER 2003;2003

3. Rule-Based Refinement of Petri Nets: A Survey;Petri Net Technology for Communication-Based Systems;2003

4. A Formal Framework for Petri Net Class Transformations;Petri Net Technology for Communication-Based Systems;2003

5. Composing Abstractions of Coloured Petri Nets;Lecture Notes in Computer Science;2000