W. Reisig. Petri Nets. Volume 4 of the EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Parameterized Net Classes: A Uniform Approach to Petri Net.. - Padberg, Ehrig (2001) (Correct)
Transformation Systems for the Integration of Software.. - Große-Rhode, John.. (Correct)
Software Tools for the Supervisory Control of Petri Nets.. - Iordache, Antsaklis (2002) (Correct)
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens - Hoffmann, Mossakowski (Correct)
On Cyclic Orders and Synchronisation Graphs - Haar (2000) (Correct)
Petri Nets with Marking-Dependent Arc Cardinality: Properties and .. - Ciardo (1994) (11 citations) (Correct)
Property Preserving Transition Refinement with.. - Sibylle Peuker.. (2000) (Correct)
Stepwise Introduction and Preservation of Safety.. - Padberg, Hoffmann.. (2000) (4 citations) (Correct)
PEP Documentation and User Guide Version 1.4 - Best, Grahlmann (1995) (Correct)
Implementation of Parameterized Net Classes with the Petri Net .. - Ermel, Weber (2001) (1 citation) (Correct)
A Framework for Parallel Job Scheduling - Subramanian (1995) (Correct)
Generic Description, Behavior and Animation of Visual.. - Bardohl, Ehrig, Ermel (2000) (Correct)
Net Reductions for LTL Model-Checking - Esparza, Schröter (Correct)
Diagnosing Workflow Processes Using Woflan - Verbeek, Basten, van der Aalst (1999) (5 citations) (Correct)
Net Reductions for LTL Model-Checking - Esparza, Schröter (Correct)
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
Challenges in Business Process Management: Verification of.. - van der Aalst (Correct)
Model-Based Verification and Validation of Properties - Engels, Küster, Heckel.. (2003) (Correct)
Synthesis of Supervisors Enforcing Firing Vector.. - Iordache, Antsaklis (2002) (1 citation) (Correct)
Semantic Integration of Heterogeneous Formal Specifications via .. - Große-Rhode (2001) (Correct)
Rule Invariants in Graph Transformation Systems for Analyzing .. - Padberg, Enders (2002) (2 citations) (Correct)
Generic Description of Syntax, Behavior and Animation of.. - Bardohl, Ermel, Ehrig (2001) (Correct)
Classification of Petri Nets Using Adjoint Functors - Padberg (2001) (Correct)
From Basic Views and Aspects to Integration of.. - Ehrig, Padberg, Orejas (2000) (2 citations) (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