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
Petri nets for modeling of dynamic systems—a survey
Automatica (Journal of IFAC)
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Handbook of logic in computer science (vol. 4)
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Autonomous Continuous P/T Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Nets enriched over closed monoidal structures
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Towards a Framework for Modelling Behaviours of Hybrid Systems
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
| Hi-index | 0.00 |
In many systems, the values of finitely many parameters can be influenced in a continuous way by controls acting with possibly varying strength over intervals of time. For this, we present general models of continuous Petri nets and of continuous transition systems with situation-dependent concurrency. With a suitable concept of morphisms, we obtain a categorial adjunction between these two models, and often even a coreflection. This shows that the concept of regions is also applicable in this continuous setting. Finally, we prove that our categories of continuous Petri nets and of continuous automata with concurrency have products and conditional coproducts.