Valk, R., Petri nets as token objects: An introduction to elementary object nets, in: J. Desel and M. Silva, editors, 19th International Conference on Application and Theory of Petri Nets (1998), pp. 1--25. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Formal Architectural Model for Logical Agent Mobility - Xu, Yin, Deng, Ding (Correct)
Facilitating the Practical Use of Coloured Petri Nets - Lindstrøm (Correct)
A Formal Architectural Model for Logical Agent Mobility - Xu, Yin, Deng, Ding (2003) (Correct)
Token-controlled place refinement in hierarchical Petri.. - Stork, van Glabbeek (Correct)
Generation of Executable Object-based Petri Net Skeletons.. - Moldt, Rölke (Correct)
Rewriting Logic as a Unifying Framework for Petri Nets - Stehr, Meseguer, Csaba (2001) (Correct)
Modelling a Sociological Case Study - Köhler, Moldt, Rölke (Correct)
Renew -User Guide - Kummer, Wienberg, Duvigneau (2001) (3 citations) (Correct)
High-level Petri Nets for a Model of Organizational.. - Heitsch, Köhler.. (2000) (Correct)
Some Decidability Results for Nested Petri Nets - Lomazova, Schnoebelen (2000) (1 citation) (Correct)
Simulating Synchronous Channels and Net Instances - Kummer (1998) (8 citations) (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)
Pi calculus versus Petri nets: Let us eat "humble pie" rather.. - van der Aalst (2003) (Correct)
Enacting Interorganizational Workflows Using Nets in Nets - van der Aalst, Moldt.. (1999) (2 citations) Self-citation (Udiger) (Correct)
Relating Different Semantics for Object Petri Nets - Formal Proofs .. - Valk Self-citation (Valk) (Correct)
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