Analysis issues in Petri nets with inhibitor arcs
Theoretical Computer Science
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
Process semantics of general inhibitor nets
Information and Computation
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
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
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 P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application 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
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
Event structures for the collective tokens philosophy of inhibitor nets
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Timed-arc petri nets vs. networks of timed automata
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
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
Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets
Fundamenta Informaticae
Hi-index | 0.00 |