![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/apn/apn1990.bht:"
@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} }
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.