no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Algebraic Structure of Step Traces and Interval Traces
|
Janicki, Ryszard |
|
|
175 |
1-4 |
p. 253-280 |
article |
2 |
A Theory of Distributed Markov Chains
|
Thiagarajan, P. S. |
|
|
175 |
1-4 |
p. 301-325 |
article |
3 |
Companions and an Essential Motion of a Reaction System
|
Genova, Daniela |
|
|
175 |
1-4 |
p. 187-199 |
article |
4 |
Comparing Degenerate Strings
|
Alzamel, Mai |
|
|
175 |
1-4 |
p. 41-58 |
article |
5 |
Discovering Object-centric Petri Nets
|
van der Aalst, Wil M.P. |
|
|
175 |
1-4 |
p. 1-40 |
article |
6 |
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
|
Arcile, Johan |
|
|
175 |
1-4 |
p. 59-95 |
article |
7 |
Flexible Process Model Mapping using Relaxation Labeling
|
Carmona, Josep |
|
|
175 |
1-4 |
p. 123-141 |
article |
8 |
L-systems from 3D-imaging of Phenotypes of Arborized Structures
|
Verbeek, Fons J. |
|
|
175 |
1-4 |
p. 327-345 |
article |
9 |
Multi-valued Verification of Strategic Ability
|
Jamroga, Wojciech |
|
|
175 |
1-4 |
p. 207-251 |
article |
10 |
Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets
|
Sanchez Martin, Jose Angel |
|
|
175 |
1-4 |
p. 281-299 |
article |
11 |
On Shuffling a Word with its Letter-to-Letter Substitution
|
Halava, Vesa |
|
|
175 |
1-4 |
p. 201-206 |
article |
12 |
Preface
|
ter Beek, Maurice |
|
|
175 |
1-4 |
p. v-viii |
article |
13 |
Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata
|
Frei, Fabian |
|
|
175 |
1-4 |
p. 173-185 |
article |
14 |
Stop-transitions of Petri Nets*
|
Desel, Jörg |
|
|
175 |
1-4 |
p. 143-172 |
article |
15 |
Target-oriented Petri Net Synthesis
|
Best, Eike |
|
|
175 |
1-4 |
p. 97-122 |
article |