Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Petri Nets, Configuration Structures and Higher Dimensional Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Theoretical Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Fundamenta Informaticae
On a Homomorphism of a Component Petri Net
Cybernetics and Systems Analysis
| Hi-index | 0.01 |