Kurt Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - Self-citation (Jensen) (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer-Verlag, 2nd edition, 1997.
Model-based Testing of a Reactive - Coloured (Correct)
No context found.
Kurt Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
EZPetri: A Petri net interchange framework for.. - Jr, Jr, Lima.. (2004) (Correct)
No context found.
Jensen, K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Uses. EACTS Monographs on Theoretical Computer Science, SpringerVerlag, 1994.
Distributed and Modular State Space - Exploration For Timed (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic concepts, analysis methods and practical use. Volume 2: Analysis Methods. Monographs in Theoretical Computer Science. Springer, 1994.
Distributed and Modular State Space - Exploration For Timed (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic concepts, analysis methods and practical use. Volume 1: Basic Concepts. Monographs in Theoretical Computer Science. Springer, 1992.
Agent-Based Distributed Execution of Coloured Petri Nets - Fortino, Nigro, Pupo, Russo (Correct)
No context found.
Jensen, K. (1992-98). Coloured Petri Nets - Basic concepts, analysis methods and practical use. Vol. 1, 2, 3. EATCS Monographs on Theoretical Computer Science. Springer-Verlag.
Checking Language Inclusion On-the-Fly with the.. - Gallasch.. (2005) (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts. Springer-Verlag, 2nd edition, 1997.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1997), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 3: Practical Use. EATCS Monographs in Theoretical Computer Science --- Berlin: Springer-Verlag.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1994), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 2: Analysis Methods. EATCS Monographs in Theoretical Computer Science, Springer-Verlag.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1992), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts. EATCS Monographs in Theoretical Computer Science, Springer-Verlag.
Software Fault Tree and Colored Petri Net Based.. - Helmer, Wong.. (2002) (Correct)
No context found.
Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, volume 3. SpringerVerlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1997.
Software Fault Tree and Colored Petri Net Based.. - Helmer, Wong.. (2002) (Correct)
No context found.
Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, volume 1. SpringerVerlag, Berlin, Germany / Heidelberg, Germany / London, UK / etc., 1992.
A Probabilistic Cut-off Technique - Mailund (2002) (Correct)
No context found.
K. Jensen, Coloured Petri Nets|Basic Concepts, Analysis Methods and Practical Use. Volume 2: Analysis Methods, Springer-Verlag, 1994.
An Adaptive Distributed Workflow - System Framework Martin (2000) (Correct)
No context found.
K. Jensen, Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts,
Verification of the WAP Transaction Layer - Using The Model (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. Springer-Verlag, 1997. 88
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1997), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 3: Practical Use. EATCS Monographs in Theoretical Computer Science --- Berlin: Springer-Verlag.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1994), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 2: Analysis Methods. EATCS Monographs in Theoretical Computer Science, Springer-Verlag.
The Algebraic Structure of Petri Nets - Sassone (2000) (Correct)
No context found.
K. Jensen (1992), Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts. EATCS Monographs in Theoretical Computer Science, Springer-Verlag.
Obtaining Memory-Efficient Reachability Graph.. - Mailund, Westergaard (2004) (Correct)
No context found.
K. Jensen. Coloured Petri Nets|Basic Concepts, Analysis Methods and Practical Use. Volume 2: Analysis Methods. Springer-Verlag, 1994.
Obtaining Memory-Efficient Reachability Graph.. - Mailund, Westergaard (2004) (Correct)
No context found.
K. Jensen. Coloured Petri Nets|Basic Concepts, Analysis Methods and Practical Use. Volume 1: Basic Concepts. Springer-Verlag, 1992.
Ontologies for Interaction Protocols - Stephen Cranefield Martin (2002) (6 citations) (Correct)
No context found.
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Volume 1: Basic Concepts. Monographs in Theoretical Computer Science. Springer, 1992.
A Framework for Distributed Workflow Systems - Martin Purvis Maryam (Correct)
No context found.
K. Jensen, Coloured Petri Nets -- Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts , Springer-Verlag, Berlin, 1992
From Security Protocol Language to Coloured Petri Nets - Thomas Mailund Th (Correct)
No context found.
Kurt Jensen, Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 1: Basic Concepts, Monographs in theoretical computer science, Springer-Verlag, Berlin, 1992.
Alma: a Generic Program Animation System - Pereira, Henriques (2003) (Correct)
No context found.
Kurt Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 1. Springer-verlag, 2 edition, 1996.
On Combining the Sweep-Line and Equivalence Method - Thomas Mailund June (Correct)
No context found.
K. Jensen, Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. - Volume 2: Analysis Methods, Springer-Verlag, 1994.
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