Petr nets, algebras, morphisms, and compositionality
Information and Computation
Mixed product and asynchronous automata
Theoretical Computer Science
Information and Computation
Executions: a new partial-order semantics of Petri nets
Theoretical Computer Science
Selected papers of the Second Workshop on Concurrency and compositionality
Petri nets and automata with concurrency relations—an adjunction
Semantics of programming languages and model theory
First steps in modal logic
Handbook of logic in computer science (vol. 4)
Synthesizing Petri nets from state-based models
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Finite completeness of categories of petri nets
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
General Morphisms of Petri Nets (Extended Abstract)
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Decompositions of Asynchronous Systems
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Concurrent Implementation of Asynchronous Transition Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Refinement and Simulation of Nets - A Categorical Characterisation
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Compostional Relational Semantics for Indeterminate Dataflow Networks
Category Theory and Computer Science
Categories of asynchronous systems
Categories of asynchronous systems
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Fundamenta Informaticae
Boolean Algebra of Nets, their Synthesis and Analysis
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Modular system development with pullbacks
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Boolean Algebra of Nets, their Synthesis and Analysis
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae
| Hi-index | 0.00 |
The paper introduces the notion of concurrent realization of reactive systems. A framework is also presented in which labelled safe Petri nets as concurrent realizations of concrete asynchronous systems are constructed. The construction is uniform in the sense that it extends to a realization of arbitrary commuting diagrams. We discuss applicability of the framework to construct maximally concurrent realizations of reactive systems.