More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

35th Petri Nets 2014: Tunis, Tunisia

> Home > Conferences and Workshops > Petri Nets

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/apn/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2014
Gianfranco Ciardo, Ekkart Kindler:
Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8489, Springer 2014, ISBN 978-3-319-07733-8

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/Lautenbach14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Lautenbach14
Kurt Lautenbach:
Propagation Nets. 1-19
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BaierDKL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BaierDKL14
Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner:
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. 20-39
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LatapyV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LatapyV14
Matthieu Latapy, Tiphaine Viard:
Complex Networks and Link Streams for the Empirical Analysis of Large Software. 40-50

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/MateoSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MateoSS14
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen:
Soundness of Timed-Arc Workflow Nets. 51-70
- view
  authority control:
- export record
  dblp key:
  - conf/apn/KalenkovaLA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KalenkovaLA14
Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst:
Process Model Discovery: A Method Based on Transition System Decomposition. 71-90
- view
  authority control:
- export record
  dblp key:
  - conf/apn/LeemansFA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LeemansFA14
Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst:
Discovering Block-Structured Process Models from Incomplete Event Logs. 91-110
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BestD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BestD14
Eike Best, Raymond R. Devillers:
Synthesis of Persistent Systems. 111-129
- view
  authority control:
- export record
  dblp key:
  - conf/apn/DeckerHLT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/DeckerHLT14
Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Learning Transparent Data Automata. 130-149
- view
  authority control:
- export record
  dblp key:
  - conf/apn/SobocinskiS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SobocinskiS14
Pawel Sobocinski, Owen Stephens:
A Programming Language for Spatial Distribution of Net Systems. 150-169
- view
  authority control:
- export record
  dblp key:
  - conf/apn/CasuP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CasuP14
Giovanni Casu, G. Michele Pinna:
Flow Unfolding of Multi-clock Nets. 170-189
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BaldanC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BaldanC14
Paolo Baldan, Alberto Carraro:
Non-interference by Unfolding. 190-209
- view
  authority control:
- export record
  dblp key:
  - conf/apn/PolyvyanyyWCRH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/PolyvyanyyWCRH14
Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede:
The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems. 210-232
- view
  authority control:
- export record
  dblp key:
  - conf/apn/0001HW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0001HW14
Robert Lorenz, Markus Huber, Günther Wirsching:
On Weighted Petri Net Transducers. 233-252
- view
  authority control:
- export record
  dblp key:
  - conf/apn/AvellanedaM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AvellanedaM14
Florent Avellaneda, Rémi Morin:
Exhibition of a Structural Bug with Wings. 253-272
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BeccutiBHSAB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BeccutiBHSAB14
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo:
Analysis of Petri Net Models through Stochastic Differential Equations. 273-293
- view
  authority control:
- export record
  dblp key:
  - conf/apn/Martos-SalgadoR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Martos-SalgadoR14
María Martos-Salgado, Fernando Rosa-Velardo:
Dynamic Networks of Timed Petri Nets. 294-313
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MayrW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MayrW14
Ernst W. Mayr, Jeremias Weihmann:
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application. 314-333
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HujsaDK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HujsaDK14
Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon:
On the Reversibility of Well-Behaved Weighted Choice-Free Systems. 334-353

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/apn/AmparoreBD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AmparoreBD14
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
(Stochastic) Model Checking in GreatSPN. 354-363
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BobedaCB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BobedaCB14
Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
StrataGEM: A Generic Petri Net Verification Framework. 364-373
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HerajyH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HerajyH14
Mostafa Herajy, Monika Heiner:
A Steering Server for Collaborative Simulation of Quantitative Petri Nets. 374-384
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BohmBMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BohmBMS14
Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský:
Kaira: Development Environment for MPI Applications. 385-394

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.