Implicative formulae in the proofs of computations' analogy
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functorial models for petri nets
Information and Computation
The box algebra = Petri nets + process expressions
Information and Computation
An Equivalence Theorem for Labeled Marked Graphs
IEEE Transactions on Parallel and Distributed Systems
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Partial Order Event Model for Concurrent Objects
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Bounded Reachability Checking with Process Semantics
CONCUR '01 Proceedings of the 12th 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
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th 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
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
An algebraic characterization of independence of Petri net processes
Information Processing Letters - Special issue: Contribution to computing science
An axiomatization of the category of Petri net computations
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Bounded LTL model checking with stable models
Theory and Practice of Logic Programming
Process semantics of general inhibitor nets
Information and Computation
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Fundamenta Informaticae
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
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
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science
Symbolic Step Encodings for Object Based Communicating State Machines
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Faster Unfolding of General Petri Nets Based on Token Flows
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Petri Nets, Discrete Physics, and Distributed Quantum Computation
Concurrency, Graphs and Models
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An Algebraic Framework for Defining Random Concurrent Behaviours
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Unifying Petri Net Semantics with Token Flows
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae - Petri Nets 2008
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
Predicting service request rates for adaptive resource allocation in SOA
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
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
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Modelling with history-dependent Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software
Abstract processes of place/transition systems
Information Processing Letters
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
Branching processes of general petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
The mutex paradigm of concurrency
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On causal semantics of Petri nets
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane 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
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Canonical transition set semantics for petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Localities in systems with a/sync communication
Theoretical Computer Science
Causality in structured occurrence nets
Dependable and Historic Computing
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Exploiting step semantics for efficient bounded model checking of asynchronous systems
Science of Computer Programming
Unfolding Semantics of Petri Nets Based on Token Flows
Fundamenta Informaticae - Petri Nets 2008
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An Algebraic Framework for Defining Random Concurrent Behaviours
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Fundamenta Informaticae
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Processes of Contextual Nets and their Characteristics
Fundamenta Informaticae
A Representation of Processes of Petri Nets by Matrices
Fundamenta Informaticae
Modelling provenance using structured occurrence networks
IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
Faster verification of partially ordered runs in petri nets using compact tokenflows
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Branching Processes of General Petri Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
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 | 5.23 |