Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Partial order semantics and read arcs
Theoretical Computer Science
Synthesising elementary net systems with inhibitor arcs from step transition systems
Fundamenta Informaticae - Application of concurrency to system design
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Efficiency of Token-Passing MUTEX-Solutions - Some Experiments
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Partial S-Invariants for the Verification of Infinite Systems Families
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Bisimulation equivalences for graph grammars
Formal and natural computing
Process semantics of general inhibitor nets
Information and Computation
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Unfolding semantics of graph transformation
Information and Computation
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
McMillan's Complete Prefix for Contextual Nets
Transactions on Petri Nets and Other Models of Concurrency I
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Executability of scenarios in Petri nets
Theoretical Computer Science
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Complete process semantics for inhibitor nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Theory of regions for the synthesis of inhibitor nets from scenarios
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
The mutex paradigm of concurrency
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Modelling concurrency with comtraces and generalized comtraces
Information and Computation
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Infinite process semantics of inhibitor nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Event structures for the collective tokens philosophy of inhibitor nets
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Simultaneity in event structures
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A characterization of combined traces using labeled stratified order structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Causality in structured occurrence nets
Dependable and Historic Computing
Efficient unfolding of contextual Petri nets
Theoretical Computer Science
On Three Alternative Characterizations of Combined Traces
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
Fundamenta Informaticae - Application of Concurrency to System Design
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
Fundamenta Informaticae
Modeling interval order structures with partially commutative monoids
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Algebraic structure of combined traces
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Folded Hasse diagrams of combined traces
Information Processing Letters
Mutex Causality in Processes and Traces of General Elementary Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
Hi-index | 0.01 |