A survey of basic net models and modular net classes-Reference-Cited by-同舟云学术

A survey of basic net models and modular net classes

Published:1992 Issue: Volume: Page:304-351
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bernardinello Luca,Cindio Fiorella

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55610-9_177.pdf

Reference58 articles.

1. E. Best, F. De Cindio, R. Hopkins: DEMON, Design Methods Based On Nets: An ESPRIT Basic Research Action (#3148). In: The EATCS Bulletin n. 41, June 1990.

2. O. Botti, F. De Cindio, J. Hall, R. Hopkins: A Petri Net Semantics of Basic Occam-2. Technical Report n.80, ESPRIT BRA 3148, DEMON (1990).

3. E. Battiston, F. De Cindio, G. Mauri: OBJSA nets: a class of high level nets having objects as domains. In: G. Rozenberg (ed.), Advances in Petri nets 1988, LNCS 340, Springer-Verlag (1988).

4. G. Berthelot: Transformations and Decompositions of Nets. In: [brr87], Volume I, pp.359–376.

5. E. Best: Concurrent behaviour: sequences, processes and axioms. In: S.D. Brookes, A.W. Roscoe, G. Winskel (eds.), Seminar on Concurrency, LNCS 197, Springer-Verlag (1985).

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

1. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms;Transactions on Petri Nets and Other Models of Concurrency XVI;2022

2. Simulation and analysis of MultEcore multilevel models based on rewriting logic;Software and Systems Modeling;2021-11-23

3. Multilabeled Petri Nets;Formal Aspects of Component Software;2020

4. Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account;Application and Theory of Petri Nets and Concurrency;2020

5. Testing concurrent user behavior of synchronous web applications with Petri nets;Software & Systems Modeling;2018-02-28