146 citations found. Retrieving documents...
W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002)   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985.


Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999)   (5 citations)  (Correct)

No context found.

W. Reisig. Petri Nets---An Introduction, EATCS Monographs in Theoretical Computer Science, Vol 4. Springer-Verlag, Berlin, 1985.


Authorization Model for Strongly Distributed Information Systems - Cvrcek (2000)   (Correct)

No context found.

Reisig, W.: Petri Nets: An Introduction, vol. 4 of EATCS monographs on Theoretical Computer Science. Springer, Berlin, Germany, 1985.


Performance Evaluation by Simulation - Hlavacs, Ueberhuber (2001)   (Correct)

No context found.

Reisig, W.: Petri Nets{An Introduction. EATCS Monographs on Theoretical Computer Science 4. Springer-Verlag, Berlin Heidelberg NewYork 1985.


How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998)   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. SpringerVerlag, Berlin, Germany, 1985.


Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti..   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.


Partial Order and Contextual Net Semantics for.. - Bueno.. (2000)   (4 citations)  (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.


Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002)   (4 citations)  (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985.


Enhancing Commitment Machines - Winikoff, Liu, Harland   (Correct)

No context found.

Wolfgang Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985. ISBN 0-387-13723-8.


The Theory of Finite-State Adventures - Brauer, Holzer, König, Schwoon   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1985.


Covering Sharing Trees: A Compact Data Structure for.. - Delzanno, Raskin, Van..   (Correct)

No context found.

W. Reisig. Petri Nets. An introduction. EATCS Monographs on Theoretical Computer Science, Springer, 1986.


Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002)   (7 citations)  (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.


A Logic for Analyzing Abstractions of Graph Transformation.. - Baldan, König, König (2003)   (3 citations)  (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1985.


Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985.


Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999)   (5 citations)  (Correct)

No context found.

W. Reisig. Petri Nets---An Introduction, EATCS Monographs in Theoretical Computer Science, Vol 4. Springer-Verlag, Berlin, 1985.


Modelling and Validation of Tasks With Algebraic - Structured Nets Buchs   (Correct)

No context found.

W. Reisig. Petri nets: an introduction. EATCS Monograph on Theoretical computer Science, Vol 4, Springer Verlag 1985.


Journal of the Brazilian Computer Society - Special Issue On   (Correct)

No context found.

Reisig W., Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985.


Bounded Decomposition of Stochastic Models - David Daly And   (Correct)

No context found.

W. Reisig, Petri Nets: An Introduction, ser. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985, ch. 7, p. 101.


Initial Realization of the "Petri Net Baukasten" - Battke, al. (1999)   (Correct)

No context found.

Reisig, Wolfgang: Petri Nets, vol. 4 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag. 1985.


Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002)   (Correct)

No context found.

W. Reisig. Petri nets -- an introduction. EATCS Monographs on Theoretical Computer Science, Volume 4. Springer-Verlag, 1985.


Trust-By-Contract: Modelling, Analysing And Predicting.. - Schmidt, Poernomo.. (2001)   (Correct)

No context found.

. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin, Germany.


Nonsequential Automata Semantics for a Concurrent.. - Menezes, Sernadas, Costa (1998)   (2 citations)  (Correct)

No context found.

Reisig, W., Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985.


Refinement Mapping for - General Discrete Event   (Correct)

No context found.

W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985.


Compositional Reification of Concurrent, Interacting Systems - Menezes   (Correct)

No context found.

W. Reisig, Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science 4, Springer-Verlag, 1985.


Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002)   (Correct)

No context found.

W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer Verlag, 1985.

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC