scolobb
/
dossier-complet
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
dossier-complet/bib/pn.bib

1141 lines
37 KiB
BibTeX
Raw Normal View History

Copy over the bibliography files from the thesis.
2015-05-15 01:31:22 +02:00
@phdthesis{Petri66,
author = {Carl Adam Petri},
title = {Communication with automata},
school = {Universit\"at Hamburg},
year = {1966},
address = {},
language = {eng},
}
@ARTICLE{Petri:2008,
AUTHOR = {Petri, C. Adam and Reisig, W. },
TITLE = {{P}etri net},
YEAR = 2008,
JOURNAL = {Scholarpedia},
VOLUME = 3,
NUMBER = 4,
PAGES = 6477,
NOTE = {{revision \#91646}},
}
@incollection{Petri:1980,
year={1980},
isbn={978-3-540-10001-0},
booktitle={Net Theory and Applications},
volume={84},
series={Lecture Notes in Computer Science},
editor={Brauer, Wilfried},
doi={10.1007/3-540-10001-6_21},
title={Introduction to general net theory},
url={http://dx.doi.org/10.1007/3-540-10001-6_21},
publisher={Springer Berlin Heidelberg},
author={Petri, C.A.},
pages={1-19},
language={English}
}
@article {FIPY:2005,
title = {Matrix Languages, Register Machines, Vector Addition Systems},
journal = {Third Brainstorming Week on Membrane Computing},
year = {2005},
month = {1/31//05-2/4/05},
pages = {155-167},
publisher = {F{\'e}nix Editora},
address = {Sevilla, Espa{\~n}a},
isbn = {84-609-6771-9},
author = {Rudolf Freund and Oscar Ibarra and Gheorghe P\u aun and Hsu-Chun Yen},
editor = {M. A. Guti{\'e}rrez Naranjo and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Francisco J. Romero-Campero and Dragos Sburlan}
}
@INPROCEEDINGS{Leroux:2009,
author={Leroux, J\'er\^ome},
booktitle={Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on},
title={The General Vector Addition System Reachability Problem by Presburger Inductive Invariants},
year={2009},
month={Aug},
pages={4-13},
keywords={Petri nets;arithmetic;decidability;formal languages;reachability analysis;set theory;vectors;Kosaraju-Lambert-Mayr-Sacerdote-Tenney decomposition;Parikh images;Presburger arithmetic;Presburger inductive invariant;decidability;finite sequence;general vector addition system reachability problem;net theory;Arithmetic;Computer science;Concurrent computing;Lattices;Logic;Petri nets;Upper bound;Zinc;Invariant;Linear;Petri Net;Presburger;Reachability;VAS},
doi={10.1109/LICS.2009.10},
ISSN={1043-6871},}
@article{Buning:1989,
author = {B\"{u}ning, Hans Kleine and Lettmann, Theodor and Mayr, Ernst W.},
title = {Projections of Vector Addition System Reachability Sets Are Semilinear},
journal = {Theoretical Computer Science},
issue_date = {29 May 1989},
volume = {64},
number = {3},
month = may,
year = {1989},
issn = {0304-3975},
pages = {343--350},
numpages = {8},
url = {http://dx.doi.org/10.1016/0304-3975(89)90055-8},
doi = {10.1016/0304-3975(89)90055-8},
acmid = {66735},
publisher = {Elsevier Science Publishers Ltd.},
address = {Essex, UK},
}
@article{Hopcroft1979135,
title = "On the reachability problem for 5-dimensional vector addition systems ",
journal = "Theoretical Computer Science ",
volume = "8",
number = "2",
pages = "135 - 159",
year = "1979",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/0304-3975(79)90041-0",
url = "http://www.sciencedirect.com/science/article/pii/0304397579900410",
author = "John Hopcroft and Jean-Jacques Pansiot"
}
@article{Greibach1978311,
title = "Remarks on blind and partially blind one-way multicounter machines ",
journal = "Theoretical Computer Science ",
volume = "7",
number = "3",
pages = "311 - 324",
year = "1978",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/0304-3975(78)90020-8",
url = "http://www.sciencedirect.com/science/article/pii/0304397578900208",
author = "Sheila A. Greibach"
}
@incollection{Yen06b,
author = {Hsu{-}Chun Yen},
title = {Introduction to {P}etri Net Theory},
booktitle = {Recent Advances in Formal Languages and Applications},
pages = {343--373},
year = {2006},
crossref = {DBLP:series/sci/2006-25},
url = {http://dx.doi.org/10.1007/978-3-540-33461-3_14},
doi = {10.1007/978-3-540-33461-3_14},
timestamp = {Mon, 10 Mar 2008 15:41:42 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/series/sci/Yen06b},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/sci/2006-25,
editor = {Zolt{\'{a}}n {\'{E}}sik and
Carlos Mart{\'{\i}}n{-}Vide and
Victor Mitrana},
title = {Recent Advances in Formal Languages and Applications},
series = {Studies in Computational Intelligence},
volume = {25},
publisher = {Springer},
year = {2006},
isbn = {978-3-540-33460-6},
timestamp = {Mon, 10 Mar 2008 15:41:42 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/series/sci/2006-25},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{Agerwala:1973,
author = {Agerwala, Tilak and Flynn, Mike},
title = {Comments on Capabilities, Limitations and ``Correctness'' of {P}etri Nets},
journal = {SIGARCH Computer Architecture News},
issue_date = {December 1973},
volume = {2},
number = {4},
month = dec,
year = {1973},
issn = {0163-5964},
pages = {81--86},
numpages = {6},
url = {http://doi.acm.org/10.1145/633642.803973},
doi = {10.1145/633642.803973},
acmid = {803973},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Jensen1981317,
title = "Coloured {P}etri nets and the invariant-method ",
journal = "Theoretical Computer Science ",
volume = "14",
number = "3",
pages = "317 - 336",
year = "1981",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/0304-3975(81)90049-9",
url = "http://www.sciencedirect.com/science/article/pii/0304397581900499",
author = "Kurt Jensen"
}
@phdthesis{Ramchandani:1974,
author = {Ramchandani, Chander},
title = {Analysis of Asynchronous Concurrent Systems by Timed {P}etri Nets},
year = {1974},
publisher = {Massachusetts Institute of Technology},
address = {Cambridge, MA, USA},
}
@phdthesis{Hack:1976,
author = {Hack, Michel},
title = {Decidability Questions for {P}etri Nets},
year = {1976},
publisher = {Massachusetts Institute of Technology},
address = {Cambridge, MA, USA},
}
@phdthesis{Patil:1970,
author = {Patil, Suhas Shrikrishna},
title = {Coordination of Asynchronous Events},
year = {1970},
publisher = {Massachusetts Institute of Technology},
address = {Cambridge, MA, USA},
}
@ARTICLE{Reinhardt08,
author = {Klaus Reinhardt},
title = {Reachability in {P}etri Nets with Inhibitor Arcs},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2008},
volume = {223},
pages = {239-264},
bibsource = {DBLP, http://dblp.uni-trier.de},
ee = {http://dx.doi.org/10.1016/j.entcs.2008.12.042}
}
@inproceedings{Mayr:1981,
author = {Mayr, Ernst W.},
title = {An Algorithm for the General {P}etri Net Reachability Problem},
booktitle = {Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing},
series = {STOC '81},
year = {1981},
location = {Milwaukee, Wisconsin, USA},
pages = {238--246},
numpages = {9},
url = {http://doi.acm.org/10.1145/800076.802477},
doi = {10.1145/800076.802477},
acmid = {802477},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Decidability, Petri net, Reachability problem, Vector addition system},
}
@ARTICLE{Zaitsev13,
author = {Dmitry A. Zaitsev},
title = {A Small Universal {P}etri Net},
journal = {EPTCS},
year = {2013},
volume = {128},
pages = {190-202},
note = {In Proceedings of Machines, Computations and Universality (MCU 2013),
arXiv:1309.1043},
owner = {ver},
timestamp = {2013.09.17}
}
@ARTICLE{Zaitsev2012,
author = {Dmitry A. Zaitsev},
title = {Universal {P}etri Net},
journal = {Cybernetics and Systems Analysis},
year = {2012},
volume = {48},
pages = {498-511},
number = {4},
doi = {10.1007/s10559-012-9429-4},
issn = {1060-0396},
keywords = {universal inhibitor Petri net; universal Turing machine; algorithm;
encoding; control flow},
language = {English},
publisher = {Springer US},
url = {http://dx.doi.org/10.1007/s10559-012-9429-4}
}
@incollection{BGMV2007,
year={2007},
isbn={978-3-540-73000-2},
booktitle={Computation and Logic in the Real World},
volume={4497},
series={Lecture Notes in Computer Science},
editor={Cooper, S.Barry and L\"owe, Benedikt and Sorbi, Andrea},
doi={10.1007/978-3-540-73001-9_5},
title={Producer/Consumer in Membrane Systems and {P}etri Nets},
url={http://dx.doi.org/10.1007/978-3-540-73001-9_5},
publisher={Springer Berlin Heidelberg},
author={Bernardini, Francesco and Gheorghe, Marian and Margenstern, Maurice and Verlan, Sergey},
pages={43--52},
language={English}
}
@article{Bause1996,
year={1996},
issn={0001-5903},
journal={Acta Informatica},
volume={33},
number={5},
doi={10.1007/BF03036470},
title={On the analysis of {P}etri nets with static priorities},
url={http://dx.doi.org/10.1007/BF03036470},
publisher={Springer-Verlag},
author={Bause, Falko},
pages={669-685},
language={English}
}
@incollection{Bonnet2011,
year={2011},
isbn={978-3-642-22992-3},
booktitle={Mathematical Foundations of Computer Science 2011},
volume={6907},
series={Lecture Notes in Computer Science},
editor={Murlak, Filip and Sankowski, Piotr},
doi={10.1007/978-3-642-22993-0_16},
title={The Reachability Problem for Vector Addition System with One Zero-Test},
url={http://dx.doi.org/10.1007/978-3-642-22993-0_16},
publisher={Springer Berlin Heidelberg},
author={Bonnet, R\'emi},
pages={145-157},
language={English}
}
@incollection{SF2004,
year={2004},
isbn={978-3-540-20895-2},
booktitle={Membrane Computing},
volume={2933},
series={Lecture Notes in Computer Science},
editor={Martín-Vide, Carlos and Mauri, Giancarlo and Păun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-540-24619-0_11},
title={On the Dynamics of {PB} Systems: A {P}etri Net View},
url={http://dx.doi.org/10.1007/978-3-540-24619-0_11},
publisher={Springer Berlin Heidelberg},
author={Dal Zilio, Silvano and Formenti, Enrico},
pages={153-167},
language={English}
}
@article{Bernardini200385,
title = "Dynamical aspects of {P} systems ",
journal = "Biosystems ",
volume = "70",
number = "2",
pages = "85 - 93",
year = "2003",
note = "Cell Computing ",
issn = "0303-2647",
doi = "http://dx.doi.org/10.1016/S0303-2647(03)00032-7",
url = "http://www.sciencedirect.com/science/article/pii/S0303264703000327",
author = "Francesco Bernardini and Vincenzo Manca",
keywords = "P systems",
keywords = "Membrane systems",
keywords = "Dynamical systems",
keywords = "Biological models",
keywords = "Periodicity",
keywords = "Almost periodicity "
}
@InCollection{Schroeppel1972,
Title = {A Two Counter Machine Cannot Calculate 2{N}},
Author = {Rich Schroeppel},
Booktitle = {AI Memos},
Publisher = {MIT AI Lab},
Year = {1972},
Language = {English},
Url = {http://hdl.handle.net/1721.1/6202}
}
@inproceedings{Kosaraju:1982,
author = {Kosaraju, S. Rao},
title = {Decidability of Reachability in Vector Addition Systems (Preliminary Version)},
booktitle = {Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing},
series = {STOC '82},
year = {1982},
isbn = {0-89791-070-2},
location = {San Francisco, California, USA},
pages = {267--281},
numpages = {15},
url = {http://doi.acm.org/10.1145/800070.802201},
doi = {10.1145/800070.802201},
acmid = {802201},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Lambert199279,
title = "A structure to decide reachability in {P}etri nets ",
journal = "Theoretical Computer Science ",
volume = "99",
number = "1",
pages = "79 - 104",
year = "1992",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/0304-3975(92)90173-D",
url = "http://www.sciencedirect.com/science/article/pii/030439759290173D",
author = "J.L. Lambert"
}
@incollection{Leroux2011,
year={2011},
isbn={978-3-642-21253-6},
booktitle={Language and Automata Theory and Applications},
volume={6638},
series={Lecture Notes in Computer Science},
editor={Dediu, Adrian-Horia and Inenaga, Shunsuke and Martín-Vide, Carlos},
doi={10.1007/978-3-642-21254-3_3},
title={Vector Addition System Reachability Problem: A Short Self-contained Proof},
url={http://dx.doi.org/10.1007/978-3-642-21254-3_3},
publisher={Springer Berlin Heidelberg},
author={Leroux, J\'er\^ome},
pages={41-64},
language={English}
}
@Article{Barzdin,
Title = {Ob odnom klasse machin {T}uringa (machiny {M}inskogo), Russian},
Author = {Ian M. Barzdin},
Journal = {Algebra i Logika},
Year = {1963},
Pages = {42--51},
Volume = {1},
Owner = {ver},
Timestamp = {2013.09.16}
}
@article{Lambek61,
title={How to Program an Infinite Abacus},
author={Joachim Lambek},
journal={Canadian Mathematical Bulletin},
year={1961},
pages={295--302},
volume={4},
doi={10.4153/CMB-1961-032-6}
}
@article{Melzak61,
title={An informal arithmetical approach to computability and computation},
author={Zdzislaw Melzak},
journal={Canadian Mathematical Bulletin},
year={1961},
pages={279--293},
volume={4}
}
@incollection{FPRA:2006,
year={2006},
isbn={978-3-540-30948-2},
booktitle={Membrane Computing},
volume={3850},
series={Lecture Notes in Computer Science},
editor={Freund, Rudolf and Păun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/11603047_20},
title={Towards a {P}etri Net Semantics for Membrane Systems},
url={http://dx.doi.org/10.1007/11603047_20},
publisher={Springer Berlin Heidelberg},
author={Kleijn, Jetty H.C.M. and Koutny, Maciej and Rozenberg, Grzegorz},
pages={292-309},
language={English}
}
@incollection{KK2006,
year={2006},
isbn={978-3-540-69088-7},
booktitle={Membrane Computing},
volume={4361},
series={Lecture Notes in Computer Science},
editor={Hoogeboom, Hendrik Jan and Păun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/11963516_5},
title={Synchrony and Asynchrony in Membrane Systems},
url={http://dx.doi.org/10.1007/11963516_5},
publisher={Springer Berlin Heidelberg},
author={Kleijn, Jetty and Koutny, Maciej},
pages={66-85},
language={English}
}
@article{FH:2013,
year={2013},
issn={1567-7818},
journal={Natural Computing},
volume={12},
number={4},
doi={10.1007/s11047-013-9367-8},
title={Modeling membrane systems using colored stochastic {P}etri nets},
url={http://dx.doi.org/10.1007/s11047-013-9367-8},
publisher={Springer Netherlands},
keywords={Stochastic membrane systems with active membranes; Colored stochastic Petri nets; Dynamic color sets; Virus infection},
author={Liu, Fei and Heiner, Monika},
pages={617-629},
language={English}
}
@inproceedings{FO06,
author = {Rudolf Freund and
Marion Oswald},
title = {A Small Universal Antiport {P} System with Forbidden Context},
booktitle = {8th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings},
pages = {259--266},
year = {2006},
crossref = {DBLP:conf/dcfs/2006},
timestamp = {Fri, 21 Oct 2011 14:43:44 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/FreundO06},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2006,
editor = {Hing Leung and
Giovanni Pighizzini},
title = {8th International Workshop on Descriptional Complexity of Formal Systems
- {DCFS} 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings},
publisher = {New Mexico State University, Las Cruces, New Mexico, {USA}},
year = {2006},
timestamp = {Fri, 21 Oct 2011 14:42:53 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/2006},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@Article{AV11,
Title = {Minimization Strategies for Maximally Parallel Multiset Rewriting Systems},
Author = {Artiom Alhazov and Sergey Verlan},
Journal = {Theoretical Computer Science},
Year = {2011},
Number = {17},
Pages = {1581 - 1591},
Volume = {412},
Doi = {http://dx.doi.org/10.1016/j.tcs.2010.10.033},
Url = {http://www.sciencedirect.com/science/article/B6V1G-51C4RWM-1/2/8dd35e3d83efe5552d0d6dfb05e45afc}
}
@incollection{Frisco:2006,
year={2006},
isbn={978-3-540-30948-2},
booktitle={Membrane Computing},
volume={3850},
series={Lecture Notes in Computer Science},
editor={Freund, Rudolf and Păun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/11603047_15},
title={P Systems, {P}etri Nets, and Program Machines},
url={http://dx.doi.org/10.1007/11603047_15},
publisher={Springer Berlin Heidelberg},
author={Frisco, Pierluigi},
pages={209-223},
language={English}
}
@article{Karp1969147,
title = "Parallel program schemata ",
journal = "Journal of Computer and System Sciences ",
volume = "3",
number = "2",
pages = "147 - 195",
year = "1969",
note = "",
issn = "0022-0000",
doi = "http://dx.doi.org/10.1016/S0022-0000(69)80011-5",
url = "http://www.sciencedirect.com/science/article/pii/S0022000069800115",
author = "Richard M. Karp and Raymond E. Miller"
}
@article{KCJ1998,
year={1998},
issn={1433-2779},
journal={International Journal on Software Tools for Technology Transfer},
volume={2},
number={2},
doi={10.1007/s100090050021},
title={The practitioner’s guide to coloured {P}etri nets},
url={http://dx.doi.org/10.1007/s100090050021},
publisher={Springer-Verlag},
keywords={Key words: High-level Petri nets – Coloured Petri nets – Practical use – Modelling – Validation – Verification – Visualisation – Tool support},
author={Kristensen, Lars M. and Christensen, Soren and Jensen, Kurt},
pages={98-132},
language={English}
}
@incollection{Jensen1991,
year={1991},
isbn={978-3-540-53863-9},
booktitle={Advances in Petri Nets 1990},
volume={483},
series={Lecture Notes in Computer Science},
editor={Rozenberg, Grzegorz},
doi={10.1007/3-540-53863-1_31},
title={Coloured {P}etri nets: A high level language for system design and analysis},
url={http://dx.doi.org/10.1007/3-540-53863-1_31},
publisher={Springer Berlin Heidelberg},
author={Jensen, Kurt},
pages={342-416},
language={English}
}
@inproceedings{Hack:1974,
author = {Hack, Michel},
title = {The Recursive Equivalence of the Reachability Problem and the Liveness Problem for {P}etri Nets and Vector Addition Systems},
booktitle = {Proceedings of the 15th Annual Symposium on Switching and Automata Theory (Swat 1974)},
series = {SWAT '74},
year = {1974},
pages = {156--164},
numpages = {9},
url = {http://dx.doi.org/10.1109/SWAT.1974.28},
doi = {10.1109/SWAT.1974.28},
acmid = {1440847},
publisher = {IEEE Computer Society},
address = {Washington, DC, USA},
}
@techreport{Keller1972,
title={Vector Replacement Systems: A Formalism for Modeling Asynchronous Systems},
author={Keller, Robert M.},
year={1972},
publisher={Department of Electrical Engineering Computer Sciences Laboratory Princeton University},
institution={Computer Science Lab, Princeton University},
number={117}
}
@article{CavaliereFOS07,
author = {Matteo Cavaliere and
Rudolf Freund and
Marion Oswald and
Dragos Sburlan},
title = {Multiset random context grammars, checkers, and transducers},
journal = {Theoretical Computer Science},
volume = {372},
number = {2-3},
pages = {136--151},
year = {2007},
url = {http://dx.doi.org/10.1016/j.tcs.2006.11.022},
doi = {10.1016/j.tcs.2006.11.022},
timestamp = {Mon, 26 Feb 2007 12:50:05 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/CavaliereFOS07},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{BMVPR2002,
year={2002},
issn={0001-5903},
journal={Acta Informatica},
volume={38},
number={10},
doi={10.1007/s00236-002-0090-7},
title={Membrane systems with promoters/inhibitors},
url={http://dx.doi.org/10.1007/s00236-002-0090-7},
publisher={Springer-Verlag},
author={Bottoni, Paolo and Mart\'in-Vide, Carlos and P\u{a}un, Gheorghe and Rozenberg, Grzegorz},
pages={695-720},
language={English}
}
@incollection{IWYZ2005,
year={2005},
isbn={978-3-540-28061-3},
booktitle={Computing and Combinatorics},
volume={3595},
series={Lecture Notes in Computer Science},
editor={Wang, Lusheng},
doi={10.1007/11533719_91},
title={On Sequential and 1-Deterministic {P} Systems},
url={http://dx.doi.org/10.1007/11533719_91},
publisher={Springer Berlin Heidelberg},
author={Ibarra, Oscar H. and Woodworth, Sara and Yen, Hsu-Chun and Dang, Zhe},
pages={905-914},
language={English}
}
@article{IGY2006,
author = {Ionescu, Mihai and P\u{a}un, Gheorghe and Yokomori, Takashi},
title = {Spiking Neural P Systems},
journal = {Fundam. Inf.},
issue_date = {August 2006},
volume = {71},
number = {2,3},
month = feb,
year = {2006},
issn = {0169-2968},
pages = {279--308},
numpages = {30},
url = {http://dl.acm.org/citation.cfm?id=1227505.1227513},
acmid = {1227513},
publisher = {IOS Press},
address = {Amsterdam, The Netherlands, The Netherlands},
keywords = {Spiking neurons, Turing computability, membrane computing, semilinear set},
}
@article{Frisco2005,
author = {Pierluigi Frisco},
title = {About {P} systems with symport/antiport},
journal = {Soft Computing},
volume = {9},
number = {9},
pages = {664--672},
year = {2005},
url = {http://dx.doi.org/10.1007/s00500-004-0396-1},
doi = {10.1007/s00500-004-0396-1},
timestamp = {Fri, 27 Jan 2006 08:38:29 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/soco/Frisco05},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{FLMPVZ2014,
year={2014},
isbn={978-3-642-54238-1},
booktitle={Membrane Computing},
volume={8340},
series={Lecture Notes in Computer Science},
editor={Alhazov, Artiom and Cojocaru, Svetlana and Gheorghe, Marian and Rogozhin, Yurii and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-642-54239-8_13},
title={Flattening in (Tissue) {P} Systems},
url={http://dx.doi.org/10.1007/978-3-642-54239-8_13},
publisher={Springer Berlin Heidelberg},
author={Freund, Rudolf and Leporati, Alberto and Mauri, Giancarlo and Porreca, Antonio E. and Verlan, Sergey and Zandron, Claudio},
pages={173-188},
language={English}
}
@incollection{AS2005,
year={2005},
isbn={978-3-540-25080-7},
booktitle={Membrane Computing},
volume={3365},
series={Lecture Notes in Computer Science},
editor={Mauri, Giancarlo and P\u{a}un, Gheorghe and P\'erez-Jim\'enez, Mario J. and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-540-31837-8_10},
title={Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts},
url={http://dx.doi.org/10.1007/978-3-540-31837-8_10},
publisher={Springer Berlin Heidelberg},
author={Alhazov, Artiom and Sburlan, Drago\c{s}},
pages={178-189},
language={English}
}
@article{CPPPJ2007117,
title = "P systems with minimal parallelism ",
journal = "Theoretical Computer Science ",
volume = "378",
number = "1",
pages = "117 - 130",
year = "2007",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/j.tcs.2007.03.044",
url = "http://www.sciencedirect.com/science/article/pii/S0304397507002459",
author = "Gabriel Ciobanu and Linqiang Pan and Gheorghe P\u aun and Mario J. P\'erez-Jim\'enez",
keywords = "Membrane computing",
keywords = "P System",
keywords = "Universality",
keywords = "\{SAT\} Problem "
}
@incollection{Freund2005,
year={2005},
isbn={978-3-540-25080-7},
booktitle={Membrane Computing},
volume={3365},
series={Lecture Notes in Computer Science},
editor={Mauri, Giancarlo and Păun, Gheorghe and Pérez-Jiménez, MarioJ. and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-540-31837-8_3},
title={Asynchronous {P} Systems and {P} Systems Working in the Sequential Mode},
url={http://dx.doi.org/10.1007/978-3-540-31837-8_3},
publisher={Springer Berlin Heidelberg},
author={Freund, Rudolf},
pages={36-62},
language={English}
}
@inproceedings{CS2004,
author = {Matteo Cavaliere and
Drago\c{s} Sburlan},
title = {Time-Independent {P} Systems},
booktitle = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
pages = {239--258},
year = {2004},
crossref = {DBLP:conf/membrane/2004},
url = {http://dx.doi.org/10.1007/978-3-540-31837-8_14},
doi = {10.1007/978-3-540-31837-8_14},
timestamp = {Mon, 08 Aug 2011 15:22:15 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/CavaliereS04},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/membrane/2004,
editor = {Giancarlo Mauri and
Gheorghe P\u{a}un and
Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Membrane Computing, 5th International Workshop, {WMC} 2004, Milan,
Italy, June 14-16, 2004, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3365},
publisher = {Springer},
year = {2005},
isbn = {3-540-25080-8},
timestamp = {Mon, 21 Feb 2005 10:04:47 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/membrane/2004},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{Ivanov2012,
year={2012},
isbn={978-3-642-28023-8},
booktitle={Membrane Computing},
volume={7184},
series={Lecture Notes in Computer Science},
editor={Gheorghe, Marian and P\u{u}un, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto and Verlan, Sergey},
doi={10.1007/978-3-642-28024-5_16},
title={Basic Concurrency Resolution in Clock-Free {P} Systems},
url={http://dx.doi.org/10.1007/978-3-642-28024-5_16},
publisher={Springer Berlin Heidelberg},
author={Ivanov, Sergiu},
pages={226-242},
language={English}
}
@article{Ivanov2013,
author = {Ivanov, Sergiu},
title = {A formal framework for clock-free networks of cells},
journal = {International Journal of Computer Mathematics},
volume = {90},
number = {4},
pages = {776-788},
year = {2013},
doi = {10.1080/00207160.2012.743652}
}
@incollection{Freund2010,
year={2010},
isbn={978-3-642-11466-3},
booktitle={Membrane Computing},
volume={5957},
series={Lecture Notes in Computer Science},
editor={P\u{a}un, Gheorghe and P\'erez-Jim\'enez, Mario J. and Riscos-N\'u\~nez, Agust\'in and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-642-11467-0_3},
title={Transition and Halting Modes in (Tissue) {P} Systems},
url={http://dx.doi.org/10.1007/978-3-642-11467-0_3},
publisher={Springer Berlin Heidelberg},
author={Freund, Rudolf},
pages={18-29},
language={English}
}
@article{Ibarra2004379,
title = "Catalytic P systems, semilinear sets, and vector addition systems ",
journal = "Theoretical Computer Science ",
volume = "312",
number = "2–3",
pages = "379 - 399",
year = "2004",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/j.tcs.2003.10.028",
url = "http://www.sciencedirect.com/science/article/pii/S0304397503005735",
author = "Oscar H. Ibarra and Zhe Dang and Omer Egecioglu",
keywords = "Membrane computing",
keywords = "Catalytic system",
keywords = "Semilinear set",
keywords = "Vector addition system",
keywords = "Reachability problem "
}
@Article{Turing1936,
Title = {On Computable Numbers, with an Application to the {E}ntscheidungsproblem},
Author = {Alan M. Turing},
Journal = {Proceedings of the London Mathematical Society},
Year = {1936},
Number = {2},
Pages = {230--265},
Volume = {42},
Owner = {ver},
Publisher = {London Mathematical Society},
Timestamp = {2013.09.16}
}
@article{Wang:1957,
author = {Wang, Hao},
title = {A Variant to {T}uring's Theory of Computing Machines},
journal = {Journal of the ACM},
issue_date = {Jan. 1957},
volume = {4},
number = {1},
month = jan,
year = {1957},
issn = {0004-5411},
pages = {63--92},
numpages = {30},
url = {http://doi.acm.org/10.1145/320856.320867},
doi = {10.1145/320856.320867},
acmid = {320867},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Minsky1961,
author = {Minsky, Marvin},
title = {Recursive unsolvability of {P}ost's problem of “Tag” and other topics in the theory of {T}uring machines},
journal = {Annals of Mathematics, second series},
volume = {74},
year = {1961},
pages = {437--455},
}
@incollection{Paun2001,
year={2001},
isbn={978-1-85233-415-4},
booktitle={Unconventional Models of Computation, UMC'2K},
series={Discrete Mathematics and Theoretical Computer Science},
editor={Antoniou, I. and Calude, C.S. and Dinneen, M.J.},
doi={10.1007/978-1-4471-0313-4_7},
title={Computing with Membranes: Attacking {NP}-Complete Problems},
url={http://dx.doi.org/10.1007/978-1-4471-0313-4_7},
publisher={Springer London},
author={P\u{a}un, Gheorghe},
pages={94-115},
language={English}
}
@article{Baker1974315,
title = "Reversal-bounded multipushdown machines ",
journal = "Journal of Computer and System Sciences ",
volume = "8",
number = "3",
pages = "315 - 332",
year = "1974",
note = "",
issn = "0022-0000",
doi = "http://dx.doi.org/10.1016/S0022-0000(74)80027-9",
url = "http://www.sciencedirect.com/science/article/pii/S0022000074800279",
author = "Brenda S. Baker and Ronald V. Book"
}
@incollection{ARV2011,
year={2011},
isbn={978-3-642-18122-1},
booktitle={Membrane Computing},
volume={6501},
series={Lecture Notes in Computer Science},
editor={Gheorghe, Marian and Hinze, Thomas and Păun, Gheorghe and Rozenberg, Grzegorz and Salomaa, Arto},
doi={10.1007/978-3-642-18123-8_10},
title={A Small Universal Splicing P System},
url={http://dx.doi.org/10.1007/978-3-642-18123-8_10},
publisher={Springer Berlin Heidelberg},
author={Alhazov, Artiom and Rogozhin, Yurii and Verlan, Sergey},
pages={95-102},
language={English}
}
@Article{Shannon,
Title = {A Universal {T}uring Machine with Two Internal States},
Author = {Claude E. Shannon},
Journal = {Automata Studies, Annals of Mathematics Studies},
Year = {1956},
Pages = {157--165},
Volume = {34},
Owner = {ver},
Timestamp = {2013.09.17}
}
@InProceedings{Minsky62,
Title = {Size and structure of universal {T}uring machines using tag systems},
Author = {Marvin Minsky},
Booktitle = {Recursive Function Theory: Proceedings, Symposium in Pure Mathematics, Provelence},
Year = {1962},
Pages = {229-238},
Volume = {5},
Owner = {ver},
Timestamp = {2013.09.17}
}
@Article{Watanabe61,
Title = {5-symbol 8-state and 5-symbol 6-state universal {T}uring machines},
Author = {Shinichi Watanabe},
Journal = {Journal of the ACM},
Year = {1961},
Number = {4},
Pages = {476--483},
Volume = {8},
Owner = {ver},
Timestamp = {2013.09.17}
}
@inproceedings{IPV2014a,
author = {Sergiu Ivanov and
Elisabeth Pelz and
Sergey Verlan},
title = {Small Universal Non-deterministic {P}etri Nets with Inhibitor Arcs},
booktitle = {Descriptional Complexity of Formal Systems - 16th International Workshop,
{DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
pages = {186--197},
year = {2014},
crossref = {DBLP:conf/dcfs/2014},
url = {http://dx.doi.org/10.1007/978-3-319-09704-6_17},
doi = {10.1007/978-3-319-09704-6_17},
timestamp = {Mon, 14 Jul 2014 13:19:05 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/0001PV14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dcfs/2014,
editor = {Helmut J{\"{u}}rgensen and
Juhani Karhum{\"{a}}ki and
Alexander Okhotin},
title = {Descriptional Complexity of Formal Systems - 16th International Workshop,
{DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8614},
publisher = {Springer},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-09704-6},
doi = {10.1007/978-3-319-09704-6},
isbn = {978-3-319-09703-9},
timestamp = {Mon, 14 Jul 2014 13:14:30 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/2014},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@InProceedings{IPV2014b,
Title = {Small Universal {P}etri Nets with Inhibitor Arcs},
Author = {Sergiu Ivanov and
Elisabeth Pelz and
Sergey Verlan},
Booktitle = {Computability in Europe},
Year = {2014},
Ee = {http://arxiv.org/abs/1312.4414},
Journal = {arXiv, CoRR}
}
@INCOLLECTION{detpelz,
author = {Elisabeth Pelz},
title = {Closure Properties of Deterministic {P}etri nets},
booktitle = {Symposium on Theoretical Aspects of Computer Science, STACS '87},
volume = {247},
series = {Lecture Notes in Computer Science},
pages = {371--382},
publisher = {Springer},
year = 1986
}
@article{Koiran:1999,
author = {Koiran, Pascal and Moore, Cristopher},
title = {Closed-form Analytic Maps in One and Two Dimensions Can Simulate Universal {T}uring Machines},
journal = {Theoretical Computer Science},
issue_date = {Jan. 6, 1999},
volume = {210},
number = {1},
month = jan,
year = {1999},
issn = {0304-3975},
pages = {217--223},
numpages = {7},
url = {http://dx.doi.org/10.1016/S0304-3975(98)00117-0},
doi = {10.1016/S0304-3975(98)00117-0},
acmid = {292115},
publisher = {Elsevier Science Publishers Ltd.},
address = {Essex, UK},
}
@Misc{gurobi,
Title = {Gurobi Optimizer Reference Manual},
Author = {Gurobi Optimization{, }Inc.},
Year = {2014},
Url = {http://www.gurobi.com}
}
@Book{AMPL,
Title = {AMPL: A Modeling Language for Mathematical Programming},
Author = {Robert Fourer and David M. Gay and Brian W. Kernighan},
Publisher = {Duxbury Press, Brooks/Cole Publishing Company},
Year = {2002},
Edition = {2nd},
ISBN = {0-534-38809-4}
}
@inproceedings{LerouxS14,
author = {J{\'{e}}r{\^{o}}me Leroux and
Philippe Schnoebelen},
title = {On Functions Weakly Computable by Petri Nets and Vector Addition Systems},
booktitle = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
pages = {190--202},
year = {2014},
crossref = {DBLP:conf/rp/2014},
url = {http://dx.doi.org/10.1007/978-3-319-11439-2_15},
doi = {10.1007/978-3-319-11439-2_15},
timestamp = {Tue, 28 Oct 2014 18:50:19 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/LerouxS14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rp/2014,
editor = {Jo{\"{e}}l Ouaknine and
Igor Potapov and
James Worrell},
title = {Reachability Problems - 8th International Workshop, {RP} 2014, Oxford,
UK, September 22-24, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8762},
publisher = {Springer},
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-11439-2},
doi = {10.1007/978-3-319-11439-2},
isbn = {978-3-319-11438-5},
timestamp = {Mon, 15 Sep 2014 12:50:50 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/rp/2014},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DufordJS99,
author = {Catherine Dufourd and
Petr Jancar and
Philippe Schnoebelen},
title = {Boundedness of Reset {P/T} Nets},
booktitle = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
pages = {301--310},
year = {1999},
crossref = {DBLP:conf/icalp/99},
url = {http://dx.doi.org/10.1007/3-540-48523-6_27},
doi = {10.1007/3-540-48523-6_27},
timestamp = {Sun, 20 Sep 2009 11:17:52 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/DufordJS99},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icalp/99,
editor = {Ji\v{r}{\'{\i}} Wiedermann and
Peter van Emde Boas and
Mogens Nielsen},
title = {Automata, Languages and Programming, 26th International Colloquium,
ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1644},
publisher = {Springer},
year = {1999},
isbn = {3-540-66224-3},
timestamp = {Mon, 21 Jan 2002 15:41:36 +0100},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/icalp/99},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{Araki197685,
title = "Some decision problems related to the reachability problem for {P}etri nets ",
journal = "Theoretical Computer Science ",
volume = "3",
number = "1",
pages = "85 - 104",
year = "1976",
note = "",
issn = "0304-3975",
doi = "http://dx.doi.org/10.1016/0304-3975(76)90067-0",
url = "http://www.sciencedirect.com/science/article/pii/0304397576900670",
author = "Toshiro Araki and Tadao Kasami",
}