Search dblp for Publications

export results for "toc:db/conf/apn/apn1990.bht:"

 download as .bib file

@proceedings{DBLP:conf/apn/1990,
  editor       = {Grzegorz Rozenberg},
  title        = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0019965},
  doi          = {10.1007/BFB0019965},
  isbn         = {3-540-54398-8},
  timestamp    = {Fri, 17 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/1990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Andre90,
  author       = {Charles Andr{\'{e}}},
  editor       = {Grzegorz Rozenberg},
  title        = {Delays in synchronized elementary net systems},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {1--28},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019966},
  doi          = {10.1007/BFB0019966},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Andre90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Bradfield90,
  author       = {Julian C. Bradfield},
  editor       = {Grzegorz Rozenberg},
  title        = {Proving temporal properties of Petri Nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {29--47},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019967},
  doi          = {10.1007/BFB0019967},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Bradfield90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Carstensen90,
  author       = {Heino Carstensen},
  editor       = {Grzegorz Rozenberg},
  title        = {The complexity of testing the equivalence of transition sequences},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {48--57},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019968},
  doi          = {10.1007/BFB0019968},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Carstensen90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Chehaibar90,
  author       = {Ghassan Chehaibar},
  editor       = {Grzegorz Rozenberg},
  title        = {Use of reentrant nets in modular analysis of colored nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {58--77},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019969},
  doi          = {10.1007/BFB0019969},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Chehaibar90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Desel90,
  author       = {J{\"{o}}rg Desel},
  editor       = {Grzegorz Rozenberg},
  title        = {On abstraction of nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019970},
  doi          = {10.1007/BFB0019970},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Desel90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/DimitroviciHP90,
  author       = {Christian Dimitrovici and
                  Udo Hummert and
                  Laure Petrucci},
  editor       = {Grzegorz Rozenberg},
  title        = {Semantics, composition and net properties of algebraic high-level
                  nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {93--117},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019971},
  doi          = {10.1007/BFB0019971},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/DimitroviciHP90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/EsparzaS90,
  author       = {Javier Esparza and
                  Manuel Silva Su{\'{a}}rez},
  editor       = {Grzegorz Rozenberg},
  title        = {Top-down synthesis of live and bounded free choice nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {118--139},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019972},
  doi          = {10.1007/BFB0019972},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/EsparzaS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Giovanni90,
  author       = {Raffaele di Giovanni},
  editor       = {Grzegorz Rozenberg},
  title        = {Hood nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {140--160},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019973},
  doi          = {10.1007/BFB0019973},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Giovanni90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Hopkins90,
  author       = {Richard P. Hopkins},
  editor       = {Grzegorz Rozenberg},
  title        = {Distributable nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {161--187},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019974},
  doi          = {10.1007/BFB0019974},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Hopkins90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/ItterR90,
  author       = {Frank Itter and
                  Claudia Relewicz},
  editor       = {Grzegorz Rozenberg},
  title        = {Computer supported design of Kanban controlled production},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {188--204},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019975},
  doi          = {10.1007/BFB0019975},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ItterR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/JanickiK90,
  author       = {Ryszard Janicki and
                  Maciej Koutny},
  editor       = {Grzegorz Rozenberg},
  title        = {Optimal simulations, nets and reachability graphs},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {205--226},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019976},
  doi          = {10.1007/BFB0019976},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/JanickiK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PinciS90,
  author       = {Valerio O. Pinci and
                  Robert M. Shapiro},
  editor       = {Grzegorz Rozenberg},
  title        = {An integrated software development methodology based on hierarchical
                  colored Petri Nets},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {227--252},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019977},
  doi          = {10.1007/BFB0019977},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PinciS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/PlunneckeR90,
  author       = {Helmut Pl{\"{u}}nnecke and
                  Wolfgang Reisig},
  editor       = {Grzegorz Rozenberg},
  title        = {Bibliography on Petri nets 1990},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {317--572},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019981},
  doi          = {10.1007/BFB0019981},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/PlunneckeR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Smith90,
  author       = {Einar Smith},
  editor       = {Grzegorz Rozenberg},
  title        = {On net systems generated by process foldings},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {253--276},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019978},
  doi          = {10.1007/BFB0019978},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Smith90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/Souissi90,
  author       = {Younes Souissi},
  editor       = {Grzegorz Rozenberg},
  title        = {On liveness preservation by composition of nets via a set of places},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {277--295},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019979},
  doi          = {10.1007/BFB0019979},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/Souissi90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/ValetteB90,
  author       = {Robert Valette and
                  Babou Bako},
  editor       = {Grzegorz Rozenberg},
  title        = {Software Implementation of Petri nets and compilation of rule-based
                  systems},
  booktitle    = {Advances in Petri Nets 1991, Papers from the 11th International Conference
                  on Applications and Theory of Petri Nets, Paris, France, June 1990},
  series       = {Lecture Notes in Computer Science},
  volume       = {524},
  pages        = {296--316},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019980},
  doi          = {10.1007/BFB0019980},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/ValetteB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.