default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th Petri Nets 2014: Tunis, Tunisia
- 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
- Kurt Lautenbach:
Propagation Nets. 1-19 - Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner:
Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. 20-39 - Matthieu Latapy, Tiphaine Viard:
Complex Networks and Link Streams for the Empirical Analysis of Large Software. 40-50
Regular Papers
- José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen:
Soundness of Timed-Arc Workflow Nets. 51-70 - Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst:
Process Model Discovery: A Method Based on Transition System Decomposition. 71-90 - Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst:
Discovering Block-Structured Process Models from Incomplete Event Logs. 91-110 - Eike Best, Raymond R. Devillers:
Synthesis of Persistent Systems. 111-129 - Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma:
Learning Transparent Data Automata. 130-149 - Pawel Sobocinski, Owen Stephens:
A Programming Language for Spatial Distribution of Net Systems. 150-169 - Giovanni Casu, G. Michele Pinna:
Flow Unfolding of Multi-clock Nets. 170-189 - Paolo Baldan, Alberto Carraro:
Non-interference by Unfolding. 190-209 - 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 - Robert Lorenz, Markus Huber, Günther Wirsching:
On Weighted Petri Net Transducers. 233-252 - Florent Avellaneda, Rémi Morin:
Exhibition of a Structural Bug with Wings. 253-272 - 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 - María Martos-Salgado, Fernando Rosa-Velardo:
Dynamic Networks of Timed Petri Nets. 294-313 - Ernst W. Mayr, Jeremias Weihmann:
A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application. 314-333 - Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon:
On the Reversibility of Well-Behaved Weighted Choice-Free Systems. 334-353
Tool Papers
- Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli:
(Stochastic) Model Checking in GreatSPN. 354-363 - Edmundo López Bóbeda, Maximilien Colange, Didier Buchs:
StrataGEM: A Generic Petri Net Verification Framework. 364-373 - Mostafa Herajy, Monika Heiner:
A Steering Server for Collaborative Simulation of Quantitative Petri Nets. 374-384 - 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.
last updated on 2024-12-19 22:20 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:
