W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Pre-Nets, Read Arcs and Unfolding: A Functorial Presentation - Baldan, Bruni, Montanari (2002) (Correct)
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
Authorization Model for Strongly Distributed Information Systems - Cvrcek (2000) (Correct)
Performance Evaluation by Simulation - Hlavacs, Ueberhuber (2001) (Correct)
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
Extending the Zero-Safe approach to Coloured.. - Bruni, Melgratti.. (Correct)
Partial Order and Contextual Net Semantics for.. - Bueno.. (2000) (4 citations) (Correct)
Orchestrating Transactions in Join Calculus - Roberto Bruni Cosimo (2002) (4 citations) (Correct)
Enhancing Commitment Machines - Winikoff, Liu, Harland (Correct)
The Theory of Finite-State Adventures - Brauer, Holzer, König, Schwoon (Correct)
Covering Sharing Trees: A Compact Data Structure for.. - Delzanno, Raskin, Van.. (Correct)
Synthesising Labelled Transitions and Operational Congruences in.. - Leifer (2002) (7 citations) (Correct)
A Logic for Analyzing Abstractions of Graph Transformation.. - Baldan, König, König (2003) (3 citations) (Correct)
Centralized and Distributed Orchestration of.. - Bruni, Laneve, Montanari (Correct)
Questions and Answers about Ten Formal Methods - Hartel, Butler, Currie.. (1999) (5 citations) (Correct)
Modelling and Validation of Tasks With Algebraic - Structured Nets Buchs (Correct)
Journal of the Brazilian Computer Society - Special Issue On (Correct)
Bounded Decomposition of Stochastic Models - David Daly And (Correct)
Initial Realization of the "Petri Net Baukasten" - Battke, al. (1999) (Correct)
Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) (Correct)
Trust-By-Contract: Modelling, Analysing And Predicting.. - Schmidt, Poernomo.. (2001) (Correct)
Nonsequential Automata Semantics for a Concurrent.. - Menezes, Sernadas, Costa (1998) (2 citations) (Correct)
Refinement Mapping for - General Discrete Event (Correct)
Compositional Reification of Concurrent, Interacting Systems - Menezes (Correct)
Functorial Models for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2002) (Correct)
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