Jensen, K., Coloured Petri nets, in: W. Brauer, W. Reisig and G. Rozenberg, editors, Advances in Petri Nets (1986), pp. 248--299. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Constraint-Oriented Model for Describing.. - Umedu, Yamaguchi, .. (Correct)
Model Checking Linear Logic Specifications - Bozzano, Delzanno, Martelli (2004) (3 citations) (Correct)
On Model Checking Safety Properties - Latvala (2002) (Correct)
Formal Specification And Analysis Of Airborne Mission.. - Kristensen, Billington.. (Correct)
Resource-Conscious AI Planning with Conjunctions and Disjunctions - Küngas (2002) (Correct)
A Colored Petri Net for a Multi-Agent Application - Weyns, Holvoet (2002) (Correct)
A Colored Petri Net for a Multi-Agent Application - Weyns, Holvoet (2002) (Correct)
Relating State-Based and Process-Based Concurrency through.. - Cervesato, Scedrov (2006) (Correct)
The Logical Meeting Point of Multiset Rewriting and Process.. - Cervesato (2004) (3 citations) (Correct)
A Symbolic Symbolic State Space Representation - Thierry-Mieg, Ilié.. (2004) (Correct)
Detection of Illegal Behaviors Based on Unfoldings - Couvreur, Poitrenaud (1999) (Correct)
A Scalable Petri Net Representation - Of Interaction Protocols (Correct)
Modelling and Analyzing Systems with Recursive Petri Nets - Haddad, al. (2000) (Correct)
A Scalable Petri Net Representation of Interaction - Protocols For Overhearing (2005) (Correct)
High-Level Petri Nets as - Type Theories In (Correct)
An Automata based Model for the Implementation of a TTCN Simulator - Grabowski (1996) (1 citation) (Correct)
Interacting Discrete Event Systems: Modelling, Verification.. - Abdelwahed (2002) (Correct)
MIgories: an abstract model for interaction - Silvescu, Honavar (2005) (Correct)
BioAgent: A Mobile Agent System for Bioscientists - Emanuela Merelli And (2002) (1 citation) (Correct)
How to Formalize It? Formalization Principles for.. - Hofstede, Proper (1998) (Correct)
LTL Model Checking for Modular Petri Nets - Latvala, Mäkelä (2004) (Correct)
A Colored Petri Net for Regional Synchronization in Situated.. - Weyns, Holvoet (Correct)
Exploiting Equivalence Reduction and the.. - Billington.. (2004) (1 citation) (Correct)
Exploiting Equivalence Reduction and the.. - Billington.. (2004) (1 citation) (Correct)
High-Level Petri Nets as Type Theories in the Join Calculus - Buscemi, Sassone (2001) (5 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