Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Sequential and concurrent behaviour in Petri net theory
Theoretical Computer Science
Refinement of actions in causality based models
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Finite representations of CCS and TCSP programs by automata and Petri nets
Finite representations of CCS and TCSP programs by automata and Petri nets
Process algebra
Modelling nondeterministic concurrent processes with event structures
Fundamenta Informaticae
Bisimulation and action refinement
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Combining CCS and Petri nets via structural axioms
Fundamenta Informaticae
Flow models of distributed computations: three equivalent semantics for CCS
Information and Computation
On the implementation of concurrent calculi in net calculi: two case studies
Theoretical Computer Science
S-invariant analysis of general recursive Petri boxes
Acta Informatica
Operational and denotational semantics for the box algebra
Theoretical Computer Science
Petri net algebra
Acta Informatica
Communication and Concurrency
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The COSY Approach
On Representing CCS Programs by Finite Petri Nets
MFCS '88 Proceedings of the Mathematical Foundations of Computer Science 1988
General Refinement and Recursion Operators for the Petri Box Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Petri Nets, Process Algebras and Concurrent Programming Languages
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
Maximality preservation and the ST-idea for action refinements
Advances in Petri Nets 1992, The DEMON Project
Recursive Nets in the Box Algebra
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
A Chart Semantics for the Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Factorization properties of symbolic unfoldings of colored petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Generating a Petri net from a CSP specification: A semantics-based method
Advances in Engineering Software
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Fundamenta Informaticae
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae
Net models for concurrent object behaviour
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Hi-index | 0.00 |
The paper describes a Petri net as well as a structural operational semantics for an algebra of process expressions. It specifically addresses this problem for the box algebra, a model of concurrent computation which combines Petri nets and standard process algebras. The main result is that it is possible to obtain a framework where process expressions can be given two, entirely consistent, kinds of semantics: one based on Petri nets, the other on SOS rules. This consistency can also be extended to a partial order semantics.