Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/pn2011.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/BillingtonG11,
author = {Jonathan Billington and
Guy Edward Gallasch},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {On Parametric Steady State Analysis of a Generalized Stochastic Petri
Net with a Fork-Join Subnet},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {268--287},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_15},
doi = {10.1007/978-3-642-21834-7\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/BillingtonG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChambartFS11,
author = {Pierre Chambart and
Alain Finkel and
Sylvain Schmitz},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Forward Analysis and Model Checking for Trace Bounded {WSTS}},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {49--68},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_4},
doi = {10.1007/978-3-642-21834-7\_4},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChambartFS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ColangeBKT11,
author = {Maximilien Colange and
Souheib Baarir and
Fabrice Kordon and
Yann Thierry{-}Mieg},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Crocodile: {A} Symbolic/Symbolic Tool for the Analysis of Symmetric
Nets with Bag},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {338--347},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_20},
doi = {10.1007/978-3-642-21834-7\_20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/ColangeBKT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CouvreurPW11,
author = {Jean{-}Michel Couvreur and
Denis Poitrenaud and
Pascal Weil},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Branching Processes of General Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {129--148},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_8},
doi = {10.1007/978-3-642-21834-7\_8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CouvreurPW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Giua11,
author = {Alessandro Giua},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {State Estimation and Fault Detection Using Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {38--48},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_3},
doi = {10.1007/978-3-642-21834-7\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Giua11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HaddadMN11,
author = {Serge Haddad and
Jean Mairesse and
Hoang{-}Thach Nguyen},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Synthesis and Analysis of Product-Form Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {288--307},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_16},
doi = {10.1007/978-3-642-21834-7\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HaddadMN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HansenW11,
author = {Henri Hansen and
Xu Wang},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {On the Origin of Events: Branching Cells as Stubborn Sets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {248--267},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_14},
doi = {10.1007/978-3-642-21834-7\_14},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/HansenW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSW11,
author = {Kees M. van Hee and
Natalia Sidorova and
Jan Martijn E. M. van der Werf},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Refinement of Synchronizable Places with Multi-workflow Nets - Weak
Termination Preserved!},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {149--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_9},
doi = {10.1007/978-3-642-21834-7\_9},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeinerG11,
author = {Monika Heiner and
David R. Gilbert},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {How Might Petri Nets Enhance Your Systems Biology Toolkit},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {17--37},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_2},
doi = {10.1007/978-3-642-21834-7\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeinerG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KhomenkoM11,
author = {Victor Khomenko and
Andrey Mokhov},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {An Algorithm for Direct Construction of Complete Merged Processes},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {89--108},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_6},
doi = {10.1007/978-3-642-21834-7\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KhomenkoM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Kindler11,
author = {Ekkart Kindler},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {The ePNK: An Extensible Petri Net Tool for {PNML}},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {318--327},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_18},
doi = {10.1007/978-3-642-21834-7\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Kindler11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KleijnK11,
author = {Jetty Kleijn and
Maciej Koutny},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {The Mutex Paradigm of Concurrency},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {228--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_13},
doi = {10.1007/978-3-642-21834-7\_13},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KleijnK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PeschanskiKD11,
author = {Fr{\'{e}}d{\'{e}}ric Peschanski and
Hanna Klaudel and
Raymond R. Devillers},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {A Petri Net Interpretation of Open Reconfigurable Systems},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {208--227},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_12},
doi = {10.1007/978-3-642-21834-7\_12},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/PeschanskiKD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Pinna11,
author = {G. Michele Pinna},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {How Much Is Worth to Remember? {A} Taxonomy Based on Petri Nets Unfoldings},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {109--128},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_7},
doi = {10.1007/978-3-642-21834-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Pinna11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Randell11,
author = {Brian Randell},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Occurrence Nets Then and Now: The Path to Structured Occurrence Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {1--16},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_1},
doi = {10.1007/978-3-642-21834-7\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Randell11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ReynierS11,
author = {Pierre{-}Alain Reynier and
Fr{\'{e}}d{\'{e}}ric Servais},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm
with Pruning},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {69--88},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_5},
doi = {10.1007/978-3-642-21834-7\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ReynierS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Westergaard11,
author = {Michael Westergaard},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Access/CPN 2.0: {A} High-Level Interface to Coloured Petri Net Models},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {328--337},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_19},
doi = {10.1007/978-3-642-21834-7\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Westergaard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WestergaardM11,
author = {Michael Westergaard and
Fabrizio Maria Maggi},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Modeling and Verification of a Protocol for Operational Support Using
Coloured Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {169--188},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_10},
doi = {10.1007/978-3-642-21834-7\_10},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WestergaardM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/WimmelW11,
author = {Harro Wimmel and
Karsten Wolf},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Finding a Witness Path for Non-liveness in Free-Choice Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {189--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_11},
doi = {10.1007/978-3-642-21834-7\_11},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/WimmelW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Xu11,
author = {Dianxiang Xu},
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {A Tool for Automated Test Code Generation from High-Level Petri Nets},
booktitle = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
pages = {308--317},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7\_17},
doi = {10.1007/978-3-642-21834-7\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Xu11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2011,
editor = {Lars Michael Kristensen and
Laure Petrucci},
title = {Applications and Theory of Petri Nets - 32nd International Conference,
{PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6709},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21834-7},
doi = {10.1007/978-3-642-21834-7},
isbn = {978-3-642-21833-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2024-08-08 04:53 CEST 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:
