Petri Net models of distributed algorithms-Reference-Cited by-同舟云学术

Petri Net models of distributed algorithms

Published:1995 Issue: Volume: Page:441-454
ISSN:0302-9743
Container-title:Computer Science Today
language:
Short-container-title:

Author:

Reisig Wolfgang

Publisher

Springer Berlin Heidelberg

Link

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

Reference16 articles.

1. K.R. Apt, E-R. Olderog: Verification of Sequential and Concurrent Programs. Springer-Verlag, Heidelberg 1991.

2. K.M. Chandy, J. Misra: Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA 1988.

3. U. Goltz, W. Reisig (Eds.) Logics for Distributed Systems. GMD-Studien Nr. 214 Gesellschaft für Mathematik und Datenverarbeitung, St.Augustin 1992.

4. E. Kindler, R. Walter: Message Passing Mutex. In: J. Desel (Ed.) Structures in Concurrency Theory, Springer-Verlag, Heidelberg 1995 (to appear).

5. Z. Manna, A. Pnueli: A Temporal Proof Methodology for Reactive Systems. In: M. Broy (Ed.) Program Design Calculi, Nato ASI Series, Vol. 118, pp. 287–324

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

1. Modelling multiagent systems with the help of generalized nets of active resources;Cybernetics and Systems Analysis;2011-03

2. Ziele;Petrinetze, lineare Algebra und lineare Programmierung;1998

3. Distributed algorithms for networks of agents;Lecture Notes in Computer Science;1998

4. Distributed versions of linear time temporal logic: A trace perspective;Lectures on Petri Nets I: Basic Models;1998

5. ESTL: A Temporal Logic for Events and States;Application and Theory of Petri Nets 1998;1998