default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/Aalst12,
author = {Wil M. P. van der Aalst},
editor = {Serge Haddad and
Lucia Pomello},
title = {Decomposing Process Mining Problems Using Passages},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {72--91},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_5},
doi = {10.1007/978-3-642-31131-4\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Aalst12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Badouel12,
author = {{\'{E}}ric Badouel},
editor = {Serge Haddad and
Lucia Pomello},
title = {On the {\(\alpha\)}-Reconstructibility of Workflow Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {128--147},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_8},
doi = {10.1007/978-3-642-31131-4\_8},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Badouel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BeraHW12,
author = {Debjyoti Bera and
Kees M. van Hee and
Jan Martijn E. M. van der Werf},
editor = {Serge Haddad and
Lucia Pomello},
title = {Designing Weakly Terminating {ROS} Systems},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {328--347},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_18},
doi = {10.1007/978-3-642-31131-4\_18},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BeraHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CostaLIM12,
author = {Veronica Gil{-}Costa and
Jair Lobos and
Alonso Inostrosa{-}Psijas and
Mauricio Mar{\'{\i}}n},
editor = {Serge Haddad and
Lucia Pomello},
title = {Capacity Planning for Vertical Search Engines: An Approach Based on
Coloured Petri Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {288--307},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_16},
doi = {10.1007/978-3-642-31131-4\_16},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/CostaLIM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CristiniT12,
author = {Fr{\'{e}}d{\'{e}}ric Cristini and
Catherine Tessier},
editor = {Serge Haddad and
Lucia Pomello},
title = {Nets-within-Nets to Model Innovative Space System Architectures},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {348--367},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_19},
doi = {10.1007/978-3-642-31131-4\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CristiniT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EvangelistaK12,
author = {Sami Evangelista and
Lars Michael Kristensen},
editor = {Serge Haddad and
Lucia Pomello},
title = {Hybrid On-the-Fly {LTL} Model Checking with the Sweep-Line Method},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {248--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_14},
doi = {10.1007/978-3-642-31131-4\_14},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EvangelistaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FahlandP12,
author = {Dirk Fahland and
Robert Pr{\"{u}}fer},
editor = {Serge Haddad and
Lucia Pomello},
title = {Data and Abstraction for Scenario-Based Modeling with Petri Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {168--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_10},
doi = {10.1007/978-3-642-31131-4\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FahlandP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FinkelG12,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
editor = {Serge Haddad and
Lucia Pomello},
title = {The Theory of {WSTS:} The Case of Complete {WSTS}},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {3--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_2},
doi = {10.1007/978-3-642-31131-4\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FinkelG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerHLRS12,
author = {Monika Heiner and
Mostafa Herajy and
Fei Liu and
Christian Rohr and
Martin Schwarick},
editor = {Serge Haddad and
Lucia Pomello},
title = {Snoopy - {A} Unifying Petri Net Tool},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {398--407},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_22},
doi = {10.1007/978-3-642-31131-4\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeinerHLRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeitmannK12,
author = {Frank Heitmann and
Michael K{\"{o}}hler{-}Bu{\ss}meier},
editor = {Serge Haddad and
Lucia Pomello},
title = {{P-} and T-Systems in the Nets-within-Nets-Formalism},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {368--387},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_20},
doi = {10.1007/978-3-642-31131-4\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeitmannK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Hoare12,
author = {Tony Hoare},
editor = {Serge Haddad and
Lucia Pomello},
title = {Net Models for Concurrent Object Behaviour},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {1--2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_1},
doi = {10.1007/978-3-642-31131-4\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Hoare12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KoreckoMS12,
author = {Stefan Korecko and
J{\'{a}}n Marcincin and
Viliam Slodic{\'{a}}k},
editor = {Serge Haddad and
Lucia Pomello},
title = {{CPN} Assistant {II:} {A} Tool for Management of Networked Simulations},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {408--417},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_23},
doi = {10.1007/978-3-642-31131-4\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KoreckoMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LehmannLW12,
author = {Andreas Lehmann and
Niels Lohmann and
Karsten Wolf},
editor = {Serge Haddad and
Lucia Pomello},
title = {Stubborn Sets for Simple Linear Time Properties},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {228--247},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_13},
doi = {10.1007/978-3-642-31131-4\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LehmannLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiuSLD12,
author = {Guan Jun Liu and
Jun Sun and
Yang Liu and
Jin Song Dong},
editor = {Serge Haddad and
Lucia Pomello},
title = {Complexity of the Soundness Problem of Bounded Workflow Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {92--107},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_6},
doi = {10.1007/978-3-642-31131-4\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LiuSLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MailundHW12,
author = {Thomas Mailund and
Anders E. Halager and
Michael Westergaard},
editor = {Serge Haddad and
Lucia Pomello},
title = {Using Colored Petri Nets to Construct Coalescent Hidden Markov Models:
Automatic Translation from Demographic Specifications to Efficient
Inference Methods},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {32--50},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_3},
doi = {10.1007/978-3-642-31131-4\_3},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/MailundHW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Martos-SalgadoR12,
author = {Mar{\'{\i}}a Martos{-}Salgado and
Fernando Rosa{-}Velardo},
editor = {Serge Haddad and
Lucia Pomello},
title = {Cost Soundness for Priced Resource-Constrained Workflow Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {108--127},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_7},
doi = {10.1007/978-3-642-31131-4\_7},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Martos-SalgadoR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NakatumbaWA12,
author = {Joyce Nakatumba and
Michael Westergaard and
Wil M. P. van der Aalst},
editor = {Serge Haddad and
Lucia Pomello},
title = {An Infrastructure for Cost-Effective Testing of Operational Support
Algorithms Based on Colored Petri Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {308--327},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_17},
doi = {10.1007/978-3-642-31131-4\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/NakatumbaWA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Rakow12,
author = {Astrid Rakow},
editor = {Serge Haddad and
Lucia Pomello},
title = {Safety Slicing Petri Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {268--287},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_15},
doi = {10.1007/978-3-642-31131-4\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Rakow12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SoleC12,
author = {Marc Sol{\'{e}} and
Josep Carmona},
editor = {Serge Haddad and
Lucia Pomello},
title = {An SMT-Based Discovery Algorithm for C-Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {51--71},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_4},
doi = {10.1007/978-3-642-31131-4\_4},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/SoleC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SpinnerKM12,
author = {Simon Spinner and
Samuel Kounev and
Philipp Meier},
editor = {Serge Haddad and
Lucia Pomello},
title = {Stochastic Modeling and Analysis Using {QPME:} Queueing Petri Net
Modeling Environment v2.0},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {388--397},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_21},
doi = {10.1007/978-3-642-31131-4\_21},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SpinnerKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ValmariH12,
author = {Antti Valmari and
Henri Hansen},
editor = {Serge Haddad and
Lucia Pomello},
title = {Old and New Algorithms for Minimal Coverability Sets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {208--227},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_12},
doi = {10.1007/978-3-642-31131-4\_12},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ValmariH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Wang12,
author = {Xu Wang},
editor = {Serge Haddad and
Lucia Pomello},
title = {Maximal Confluent Processes},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {188--207},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_11},
doi = {10.1007/978-3-642-31131-4\_11},
timestamp = {Thu, 02 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Wang12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WeidlichW12,
author = {Matthias Weidlich and
Jan Martijn E. M. van der Werf},
editor = {Serge Haddad and
Lucia Pomello},
title = {On Profiles and Footprints - Relational Semantics for Petri Nets},
booktitle = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
pages = {148--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4\_9},
doi = {10.1007/978-3-642-31131-4\_9},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WeidlichW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2012,
editor = {Serge Haddad and
Lucia Pomello},
title = {Application and Theory of Petri Nets - 33rd International Conference,
{PETRI} {NETS} 2012, Hamburg, Germany, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7347},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31131-4},
doi = {10.1007/978-3-642-31131-4},
isbn = {978-3-642-31130-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-21 09:20 CET from data curated 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:
