Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej |
|
1995
|
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej |
|
1993
|
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej |
|
1997
|
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam |
|
2016
|
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond |
|
1986
|
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang |
|
2017
|
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard |
|
1987
|
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2016
|
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E. |
|
1992
|
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard |
|
2008
|
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man |
|
2011
|
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha |
|
2001
|
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda |
|
2012
|
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard |
|
2011
|
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun |
|
2012
|
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej |
|
2019
|
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W. |
|
1996
|
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R. |
|
1987
|
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2019
|
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2015
|
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard |
|
2002
|
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard |
|
2013
|
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej |
|
2011
|
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery |
|
1997
|
On causality semantics of nets with priorities. Zbl 1058.68540
Janicki, Ryszard; Koutny, Maciej |
|
1999
|
Maximally concurrent evolution of non-sequential systems. Zbl 0565.68020
Janicki, R.; Lauer, P. E.; Devillers, R. |
|
1985
|
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard |
|
1978
|
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard |
|
1984
|
Order structures for subclasses of generalised traces. Zbl 1423.68309
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2015
|
Modeling operational semantics with interval orders represented by sequences of antichains. Zbl 1427.68155
Janicki, Ryszard |
|
2018
|
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard |
|
1984
|
Transforming sequential systems into concurrent systems. Zbl 0559.68032
Janicki, Ryszard |
|
1985
|
Towards a pragmatic mereology. Zbl 1108.68031
Janicki, Ryszard; Lê, Dai Tri Man |
|
2007
|
On interval process semantics of Petri nets with inhibitor arcs. Zbl 1432.68298
Alqarni, Mohammed; Janicki, Ryszard |
|
2015
|
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R. |
|
2016
|
Approximations of arbitrary relations by partial orders. Zbl 1448.68418
Janicki, Ryszard |
|
2018
|
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard |
|
2016
|
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard |
|
2016
|
Representations of discrete interval orders and semi-orders. Zbl 0832.06001
Janicki, Ryszard; Koutny, Maciej |
|
1994
|
Order structures and generalisations of Szpilrajn’s theorem. Zbl 0924.06005
Janicki, Ryszard; Koutny, Maciej |
|
1993
|
Yet another kind of rough sets induced by coverings. Zbl 1489.68287
Janicki, Ryszard |
|
2017
|
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej |
|
1991
|
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej |
|
1991
|
Relational structures for concurrent behaviours. Zbl 1497.68344
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2021
|
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard |
|
1977
|
An equivalence notion for path expressions systems. Zbl 0573.68028
Janicki, Ryszard |
|
1985
|
A construction of concurrent systems by means of sequential solutions and concurrency relations. Zbl 0466.68047
Janicki, Ryszard |
|
1981
|
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard |
|
2007
|
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2017
|
Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Zbl 1493.68015
|
|
2020
|
On a mereological system for relational software specifications. Zbl 1014.68050
Janicki, Ryszard |
|
2002
|
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard |
|
2005
|
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard |
|
1982
|
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard |
|
1977
|
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard |
|
2007
|
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard |
|
1980
|
On a parthood specification method for component software. Zbl 1162.68400
Le, Dai Tri Man; Janicki, Ryszard |
|
2006
|
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard |
|
1980
|
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard |
|
1980
|
Basic mereology with equivalence relations. Zbl 1156.03326
Janicki, Ryszard |
|
2005
|
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man |
|
2008
|
Algebraic structure of step traces and interval traces. Zbl 1497.68345
Janicki, Ryszard; Mikulski, Łukasz |
|
2020
|
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard |
|
1979
|
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard |
|
2009
|
Relational structures for concurrent behaviours. Zbl 1497.68344
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2021
|
Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Zbl 1493.68015
|
|
2020
|
Algebraic structure of step traces and interval traces. Zbl 1497.68345
Janicki, Ryszard; Mikulski, Łukasz |
|
2020
|
Operational semantics, interval orders and sequences of antichains. Zbl 1428.68178
Janicki, Ryszard; Koutny, Maciej |
|
2019
|
Classifying invariant structures of step traces. Zbl 1423.68310
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2019
|
Modeling operational semantics with interval orders represented by sequences of antichains. Zbl 1427.68155
Janicki, Ryszard |
|
2018
|
Approximations of arbitrary relations by partial orders. Zbl 1448.68418
Janicki, Ryszard |
|
2018
|
Modeling concurrency with interval traces. Zbl 1359.68224
Janicki, Ryszard; Yin, Xiang |
|
2017
|
Yet another kind of rough sets induced by coverings. Zbl 1489.68287
Janicki, Ryszard |
|
2017
|
Alphabets of acyclic invariant structures. Zbl 1378.68119
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2017
|
Optimal approximations with rough sets and similarities in measure spaces. Zbl 1352.68245
Janicki, Ryszard; Lenarčič, Adam |
|
2016
|
Step traces. Zbl 1335.68173
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2016
|
Asymptotics of powers of binomial and multinomial probabilities. Zbl 1382.60047
Athreya, K. B.; Janicki, R. |
|
2016
|
On optimal approximations of arbitrary relations by partial orders. Zbl 1398.68540
Janicki, Ryszard |
|
2016
|
On approximation of relations by generalized closures and generalized kernels. Zbl 1398.68528
Bogobowicz, Agnieszka D.; Janicki, Ryszard |
|
2016
|
Characterising concurrent histories. Zbl 1334.68153
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2015
|
Order structures for subclasses of generalised traces. Zbl 1423.68309
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz |
|
2015
|
On interval process semantics of Petri nets with inhibitor arcs. Zbl 1432.68298
Alqarni, Mohammed; Janicki, Ryszard |
|
2015
|
Property-driven rough sets approximations of relations. Zbl 1308.68115
Janicki, Ryszard |
|
2013
|
Modeling interval order structures with partially commutative monoids. Zbl 1364.68288
Janicki, Ryszard; Yin, Xiang; Zubkova, Nadezhda |
|
2012
|
On a pairwise comparison-based consistent non-numerical ranking. Zbl 1264.91055
Janicki, Ryszard; Zhai, Yun |
|
2012
|
Modelling concurrency with comtraces and generalized comtraces. Zbl 1244.68057
Janicki, Ryszard; Lê, Dai Tri Man |
|
2011
|
Approximations of arbitrary binary relations by partial orders: classical and rough set models. Zbl 1316.03026
Janicki, Ryszard |
|
2011
|
Quotient monoids and concurrent behaviours. Zbl 1236.68193
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej |
|
2011
|
Pairwise comparisons based non-numerical ranking. Zbl 1192.68671
Janicki, Ryszard |
|
2009
|
Relational structures model of concurrency. Zbl 1147.68054
Janicki, Ryszard |
|
2008
|
Modelling concurrency with quotient monoids. Zbl 1143.68486
Janicki, Ryszard; Lê, Dai Tri Man |
|
2008
|
Towards a pragmatic mereology. Zbl 1108.68031
Janicki, Ryszard; Lê, Dai Tri Man |
|
2007
|
Computing properties of numerical imperative programs by symbolic computation. Zbl 1128.68116
Carette, Jacques; Janicki, Ryszard |
|
2007
|
Computing properties of numerical imperative programs by symbolic computation. Zbl 1137.68628
Carette, Jacques; Janicki, Ryszard |
|
2007
|
On a parthood specification method for component software. Zbl 1162.68400
Le, Dai Tri Man; Janicki, Ryszard |
|
2006
|
A generalisation of a relational structures model of concurrency. Zbl 1109.68073
Janicki, Ryszard |
|
2005
|
Basic mereology with equivalence relations. Zbl 1156.03326
Janicki, Ryszard |
|
2005
|
Modelling concurrent behaviours by commutativity and weak causality relations. Zbl 1275.68105
Guo, Guangyuan; Janicki, Ryszard |
|
2002
|
On a mereological system for relational software specifications. Zbl 1014.68050
Janicki, Ryszard |
|
2002
|
On a formal semantics of tabular expressions. Zbl 0971.68100
Janicki, Ryszard; Khedri, Ridha |
|
2001
|
On causality semantics of nets with priorities. Zbl 1058.68540
Janicki, Ryszard; Koutny, Maciej |
|
1999
|
Fundamentals of modelling concurrency using discrete relational structures. Zbl 0934.68047
Janicki, Ryszard; Koutny, Maciej |
|
1997
|
Tabular representations in relational documents. Zbl 1114.68597
Janicki, Ryszard; Parnas, David Lorge; Zucker, Jeffery |
|
1997
|
A weak order approach to group ranking. Zbl 0862.90011
Janicki, R.; Koczkodaj, W. W. |
|
1996
|
Semantics of inhibitor nets. Zbl 1096.68678
Janicki, Ryszard; Koutny, Maciej |
|
1995
|
Representations of discrete interval orders and semi-orders. Zbl 0832.06001
Janicki, Ryszard; Koutny, Maciej |
|
1994
|
Structure of concurrency. Zbl 0814.68061
Janicki, Ryszard; Koutny, Maciej |
|
1993
|
Order structures and generalisations of Szpilrajn’s theorem. Zbl 0924.06005
Janicki, Ryszard; Koutny, Maciej |
|
1993
|
Specification and analysis of concurrent systems. The COSY approach. Zbl 0765.68007
Janicki, Ryszard; Lauer, Peter E. |
|
1992
|
Using optimal simulations to reduce reachability graphs. Zbl 0765.68128
Janicki, Ryszard; Koutny, Maciej |
|
1991
|
On some implementation of optimal simulations. Zbl 0797.68111
Janicki, Ryszard; Koutny, Maciej |
|
1991
|
A formal semantics for concurrent systems with a priority relation. Zbl 0589.68021
Janicki, Ryszard |
|
1987
|
An introduction to the macro COSY notation. Zbl 0639.68052
Lauer, P. E.; Janicki, R. |
|
1987
|
Concurrent and maximally concurrent evolution of nonsequential systems. Zbl 0604.68006
Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond |
|
1986
|
Maximally concurrent evolution of non-sequential systems. Zbl 0565.68020
Janicki, R.; Lauer, P. E.; Devillers, R. |
|
1985
|
Transforming sequential systems into concurrent systems. Zbl 0559.68032
Janicki, Ryszard |
|
1985
|
An equivalence notion for path expressions systems. Zbl 0573.68028
Janicki, Ryszard |
|
1985
|
Nets, sequential components and concurrency relations. Zbl 0546.68039
Janicki, Ryszard |
|
1984
|
A method for developing concurrent systems. Zbl 0538.68015
Janicki, Ryszard |
|
1984
|
Analysis of concurrent schemes by means of concurrency relations. Zbl 0513.68053
Janicki, Ryszard |
|
1982
|
A construction of concurrent systems by means of sequential solutions and concurrency relations. Zbl 0466.68047
Janicki, Ryszard |
|
1981
|
An algebraic structure of Petri nets. Zbl 0438.68021
Janicki, Ryszard |
|
1980
|
Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. Zbl 0445.68023
Janicki, Ryszard |
|
1980
|
On atomic nets and concurrency relations. Zbl 0449.68021
Janicki, Ryszard |
|
1980
|
A characterization of concurrency-like relations. Zbl 0402.68020
Janicki, Ryszard |
|
1979
|
Synthesis of concurrent schemes. Zbl 0382.68023
Janicki, Ryszard |
|
1978
|
An algebraic approach to the theory of recursive coroutines. Zbl 0362.68056
Janicki, Ryszard |
|
1977
|
Vectors of coroutines over Blikle nets. Zbl 0366.68005
Janicki, Ryszard |
|
1977
|