Equivalence transformations of PrT-Nets-Reference-Cited by-同舟云学术

Equivalence transformations of PrT-Nets

Published:1990 Issue: Volume: Page:179-208
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Genrich Hartmann J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-52494-0_30.pdf

Reference8 articles.

1. Albert, K.; Jensen, K.; Shapiro, R.: DESIGN/CPN — A Tool Package Supporting the Use of Coloured Petri Nets. Meta Software Corporation. Cambridge, MA (1989)

2. Brauer, W.; Reisig, W.; Rozenberg, G. (eds.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I. Lecture Notes in Computer Science 254. Springer 1987

3. Genrich, H.J.; Lautenbach, K.: System Modelling with High-Level Petri Nets. Theoretical Computer Science 13 (1981) 109–136

4. Genrich, H.J.: Projections of CE Systems. In: Advances in Petri Nets 1985, Lecture Notes in Computer Science 222. Springer 1986

5. Genrich, H.J.: Predicate/Transition Nets. In [2]

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

1. Rewriting Logic as a Unifying Framework for Petri Nets;Unifying Petri Nets;2001

2. Principles of high-level net theory;Lectures on Petri Nets I: Basic Models;1998

3. Modelling of concurrent and embedded systems;Lecture Notes in Computer Science;1997

4. Modeling a NORAD Command Post using SADT and Colored Petri Nets;Functional Programming, Concurrency, Simulation and Automated Reasoning;1993

5. Coloured petri nets: A high level language for system design and analysis;Advances in Petri Nets 1990;1991