default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/apn/icatpn2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/Al-ShabibiBBCCH03,
author = {Ali Al{-}Shabibi and
Didier Buchs and
Mathieu Buffo and
Stanislav Chachkov and
Ang Chen and
David Hurzeler},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Prototyping Object Oriented Specifications},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {473--482},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_30},
doi = {10.1007/3-540-44919-1\_30},
timestamp = {Sat, 19 Oct 2019 20:09:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Al-ShabibiBBCCH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BadouelC03,
author = {{\'{E}}ric Badouel and
Jules Chenou},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Nets Enriched over Closed Monoidal Structures},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {64--81},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_8},
doi = {10.1007/3-540-44919-1\_8},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BadouelC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BednarczykBCPP03,
author = {Marek A. Bednarczyk and
Luca Bernardinello and
Beno{\^{\i}}t Caillaud and
Wieslaw Pawlowski and
Lucia Pomello},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Modular System Development with Pullbacks},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {140--160},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_12},
doi = {10.1007/3-540-44919-1\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/BednarczykBCPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BillingtonCHKKPPSW03,
author = {Jonathan Billington and
S{\o}ren Christensen and
Kees M. van Hee and
Ekkart Kindler and
Olaf Kummer and
Laure Petrucci and
Reinier Post and
Christian Stehno and
Michael Weber},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Petri Net Markup Language: Concepts, Technology, and Tools},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {483--505},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_31},
doi = {10.1007/3-540-44919-1\_31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BillingtonCHKKPPSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Brinksma03,
author = {Ed Brinksma},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Compositional Theories of Qualitative and Quantitative Behaviour},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {37--42},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_5},
doi = {10.1007/3-540-44919-1\_5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Brinksma03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CabacMR03,
author = {Lawrence Cabac and
Daniel Moldt and
Heiko R{\"{o}}lke},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {A Proposal for Structuring Petri Net-Based Agent Interaction Protocols},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {102--120},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_10},
doi = {10.1007/3-540-44919-1\_10},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CabacMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Colom03,
author = {Jos{\'{e}} Manuel Colom},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Resource Allocation Problem in Flexible Manufacturing Systems},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {23--35},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_3},
doi = {10.1007/3-540-44919-1\_3},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Colom03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Ellis03,
author = {Clarence A. Ellis},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Net Models Supporting Human and Humane Behaviors},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {43},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_6},
doi = {10.1007/3-540-44919-1\_6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Ellis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EshuisD03,
author = {Rik Eshuis and
Juliane Dehnert},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Reactive Petri Nets for Workflow Modeling},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {296--315},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_20},
doi = {10.1007/3-540-44919-1\_20},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EshuisD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/FleischhackP03,
author = {Hans Fleischhack and
Elisabeth Pelz},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Hierarchical Timed High Level Nets and Their Branching Processes},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {397--416},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_25},
doi = {10.1007/3-540-44919-1\_25},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/FleischhackP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GaetaGMS03,
author = {Rossano Gaeta and
Marco Gribaudo and
Daniele Manini and
Matteo Sereno},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On the Use of Petri Nets for the Computation of Completion Time Distribution
for Short {TCP} Transfers},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {181--200},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_14},
doi = {10.1007/3-540-44919-1\_14},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GaetaGMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GencL03,
author = {Sahika Genc and
St{\'{e}}phane Lafortune},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Distributed Diagnosis of Discrete-Event Systems Using Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {316--336},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_21},
doi = {10.1007/3-540-44919-1\_21},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GencL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/HeeSV03,
author = {Kees M. van Hee and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Soundness and Separability of Workflow Nets in the Stepwise Refinement
Approach},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {337--356},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_22},
doi = {10.1007/3-540-44919-1\_22},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/HeeSV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Jensen03,
author = {Kurt Jensen},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Coloured Petri Nets: Status and Outlook},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {1--2},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_1},
doi = {10.1007/3-540-44919-1\_1},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Jensen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Jorgensen03,
author = {Jens B{\ae}k J{\o}rgensen},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Coloured Petri Nets in Development of a Pervasive Health Care System},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {256--275},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_18},
doi = {10.1007/3-540-44919-1\_18},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Jorgensen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JuhasLS03,
author = {Gabriel Juh{\'{a}}s and
Robert Lorenz and
Tom{\'{a}}s Singliar},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On Synchronicity and Concurrency in Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {357--376},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_23},
doi = {10.1007/3-540-44919-1\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JuhasLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JulvezRS03,
author = {Jorge J{\'{u}}lvez and
Laura Recalde and
Manuel Silva Su{\'{a}}rez},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On Reachability in Autonomous Continuous Petri Net Systems},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {221--240},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_16},
doi = {10.1007/3-540-44919-1\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/JulvezRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KleinFM03,
author = {St{\'{e}}phane Klein and
Georg Frey and
Mark Minas},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {{PLC} Programming with Signal Interpreted Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {440--449},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_27},
doi = {10.1007/3-540-44919-1\_27},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KleinFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KohlerMR03,
author = {Michael K{\"{o}}hler and
Daniel Moldt and
Heiko R{\"{o}}lke},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Modelling Mobility and Mobile Agents Using Nets within Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {121--139},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_11},
doi = {10.1007/3-540-44919-1\_11},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KohlerMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Lautenbach03,
author = {Kurt Lautenbach},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Logical Reasoning and Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {276--295},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_19},
doi = {10.1007/3-540-44919-1\_19},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Lautenbach03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Makela03,
author = {Marko M{\"{a}}kel{\"{a}}},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Model Checking Safety Properties in Modular High-Level Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {201--220},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_15},
doi = {10.1007/3-540-44919-1\_15},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Makela03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MarsanGCM03,
author = {Marco Ajmone Marsan and
Michele Garetto and
Renato Lo Cigno and
Michela Meo},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Colored {GSPN} Models for the QoS Design of Internet Subnets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {36},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_4},
doi = {10.1007/3-540-44919-1\_4},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MarsanGCM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MatsunoFDNM03,
author = {Hiroshi Matsuno and
Sachie Fujita and
Atsushi Doi and
Masao Nagasaki and
Satoru Miyano},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Towards Biopathway Modeling and Simulation},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {3--22},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_2},
doi = {10.1007/3-540-44919-1\_2},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MatsunoFDNM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RatzerWLLQSWCJ03,
author = {Anne V. Ratzer and
Lisa Wells and
Henry Michael Lassen and
Mads Laursen and
Jacob Frank Qvortrup and
Martin Stig Stissing and
Michael Westergaard and
S{\o}ren Christensen and
Kurt Jensen},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {{CPN} Tools for Editing, Simulating, and Analysing Coloured Petri
Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {450--462},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_28},
doi = {10.1007/3-540-44919-1\_28},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/RatzerWLLQSWCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Reveliotis03,
author = {Spyros A. Reveliotis},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {On the Siphon-Based Characterization of Liveness in Sequential Resource
Allocation Systems},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {241--255},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_17},
doi = {10.1007/3-540-44919-1\_17},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Reveliotis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SchroterSE03,
author = {Claus Schr{\"{o}}ter and
Stefan Schwoon and
Javier Esparza},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {The Model-Checking Kit},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {463--472},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_29},
doi = {10.1007/3-540-44919-1\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SchroterSE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/SherifSC03,
author = {Adnan Sherif and
Augusto Sampaio and
S{\'{e}}rgio Cavalcante},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Specification and Validation of the {SACI-1} On-Board Computer Using
Timed-CSP-Z and Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {161--180},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_13},
doi = {10.1007/3-540-44919-1\_13},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/SherifSC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TaokaFW03,
author = {Satoshi Taoka and
Shinji Furusato and
Toshimasa Watanabe},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {A Heuristic Algorithm {FSDC} Based on Avoidance of Deadlock Components
in Finding Legal Firing Sequences of Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {417--439},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_26},
doi = {10.1007/3-540-44919-1\_26},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/TaokaFW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Thierry-MiegDM03,
author = {Yann Thierry{-}Mieg and
Claude Dutheillet and
Isabelle Mounier},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Automatic Symmetry Detection in Well-Formed Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {82--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_9},
doi = {10.1007/3-540-44919-1\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Thierry-MiegDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VerbeekB03,
author = {H. M. W. Verbeek and
Twan Basten},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Deciding Life-Cycle Inheritance on Petri Nets},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {44--63},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_7},
doi = {10.1007/3-540-44919-1\_7},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/VerbeekB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/VillapolB03,
author = {Mar{\'{\i}}a E. Villapol and
Jonathan Billington},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Analysing Properties of the Resource Reservation Protocol},
booktitle = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
pages = {377--396},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1\_24},
doi = {10.1007/3-540-44919-1\_24},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/VillapolB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2003,
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Applications and Theory of Petri Nets 2003, 24th International Conference,
{ICATPN} 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2679},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44919-1},
doi = {10.1007/3-540-44919-1},
isbn = {3-540-40334-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2003.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 2024-09-19 17:05 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:
