Predicate / Transition Nets-Reference-Cited by-同舟云学术

Predicate / Transition Nets

Published:1991 Issue: Volume: Page:3-43
ISSN:
Container-title:High-level Petri Nets
language:
Short-container-title:

Author:

Genrich H. J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-84524-6_1.pdf

Reference22 articles.

1. Darlington, J.L.: A Net Based Theorem Prover for Program Verification and Synthesis. Gesellschaft für Mathematik und Datenverarbeitung, GMD-IST Internal Report 3 /79 (1979)

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

3. Genrich, H.J.; Lautenbach, K.: S-Invariance in Predicate/Transition Nets. Informatik-Fachberichte 66: Application and Theory of Petri Nets. — Selected Papers from the Third European Workshop on Application and Theory of Petri Nets, Varenna, Italy, September 27–30, 1982/Pagnoni, A.; Rozenberg, G. (eds.) — Springer-Verlag, pp. 98–111 (1983)

4. Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science 1976/Mazurkiewicz, A. (ed.)Berlin, Heidelberg, New York: Springer-Verlag, pp. 588–595 (1976)

5. Gerhards, B.: 5-Invarianten in Prâdikat/Transitionsnetzen. Diplomarbeit, Universität Bonn (1982) (in German)

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

1. Building Valid Career Ontologies with B-CPNs;Communications in Computer and Information Science;2020

2. Brace Touch: A Dependable, Turbulence-Tolerant, Multi-touch Interaction Technique for Interactive Cockpits;Lecture Notes in Computer Science;2019

3. A CPN/B method transformation framework for railway safety rules formal validation;European Transport Research Review;2017-03-21

4. Dealing with Faults During Operations: Beyond Classical Use of Formal Methods;Human–Computer Interaction Series;2017

5. A three-fold approach towards increased assurance levels for interactive systems;Proceedings of the International Conference on Human-Computer Interaction in Aerospace;2016-09-14