default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 122
Volume 122, Numbers 1-2, 2013
- Lars Michael Kristensen, Wojciech Penczek
, Laure Petrucci:
Preface. - Pierre-Alain Reynier, Frédéric Servais:
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning. 1-30 - Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil:
Branching Processes of General Petri Nets. 31-58 - Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets. 59-83 - Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems. 85-117 - Jetty Kleijn, Maciej Koutny:
Mutex Causality in Processes and Traces of General Elementary Nets. 119-146 - Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-form Petri Nets. 147-172
Volume 122, Number 3, 2013
- Zhanshan (Sam) Ma:
Stochastic Populations, Power Law and Fitness Aggregation in Genetic Algorithms. 173-206 - Homa Fashandi, James F. Peters:
Crisp and Fuzzy Topological Interior and Closure Operators with Inclusion Degree. Theory and Applications. 207-225 - Hans Langmaack, Andrzej Salwicki:
Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce. 227-274
Volume 122, Number 4, 2013
- Jakub Daubner, Eduard Toman:
Neighbourhood of Constant Order in the Interval Graph of a Random Boolean Function. 275-295 - Daniel Graff, Jan Richling, Matthias Werner:
Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. 297-313 - Lakshmanan Kuppusamy, Anand Mahendran, Kamala Krithivasan:
On the Trade-off Between Ambiguity and Complexity in Contextual Languages. 315-326 - Malgorzata Przybyla-Kasperek, Alicja Wakulicz-Deja:
Application of Reduction of the Set of Conditional Attributes in the Process of Global Decision-making. 327-355 - Yannis Tzitzikas, Panagiotis Papadakos:
Interactive Exploration of Multi-Dimensional and Hierarchical Information Spaces with Real-Time Preference Elicitation. 357-399 - Bozena Wozna-Szczesniak, Andrzej Zbrzezny:
A Translation of the Existential Model Checking Problem from MITL to HLTL. 401-420
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
