5 citations · 10 across the 6 of their papers we have counts for
6 papers
Quasi-stratified Order Semantics of Concurrency
Maciej Koutny, Lukasz Mikulski
In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing…
Investigating Reversibility of Steps in Petri Nets
David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with rev…
A Flow Sensitive Security Model for Cloud Computing Systems
Wen Zeng, Chunyan Mu, Maciej Koutny +1
The extent and importance of cloud computing is rapidly increasing due to the ever increasing demand for internet services and communications. Instead of building individual inform…
Membrane Systems and Petri Net Synthesis
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny +1
Automated synthesis from behavioural specifications is an attractive and powerful way of constructing concurrent systems. Here we focus on the problem of synthesising a membrane sy…
Petri Nets and Bio-Modelling - and how to benefit from their synergy
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
In this talk we are concerned with the intrinsic similarities and differences between Petri nets on the one hand, and membrane systems and reaction systems on the other hand.
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
Gabriel Ciobanu, Maciej Koutny
The 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010) is organized in Jena as a satellite event of the Eleventh International Conference on…