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/apn91.bht:"
download as .bib file
@proceedings{DBLP:conf/apn/1991,
editor = {Grzegorz Rozenberg},
title = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56689-9},
doi = {10.1007/3-540-56689-9},
isbn = {3-540-56689-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Chehaibar91,
author = {Ghassan Chehaibar},
editor = {Grzegorz Rozenberg},
title = {Replacement of Open Interface Subnets and Stable State Transformation
Equivalence},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {1--25},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_37},
doi = {10.1007/3-540-56689-9\_37},
timestamp = {Fri, 17 Jul 2020 16:12:46 +0200},
biburl = {https://dblp.org/rec/conf/apn/Chehaibar91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CherkasovaHR91,
author = {Ludmila Cherkasova and
Rodney R. Howell and
Louis E. Rosier},
editor = {Grzegorz Rozenberg},
title = {Bounded Self-Stabilizing Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {26--50},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_38},
doi = {10.1007/3-540-56689-9\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CherkasovaHR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CouvreurHP91,
author = {Jean{-}Michel Couvreur and
Serge Haddad and
Jean{-}Fran{\c{c}}ois Pradat{-}Peyre},
editor = {Grzegorz Rozenberg},
title = {Generative Families of Positive Invariants in Coloured Nets Sub-Classes},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {51--70},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_39},
doi = {10.1007/3-540-56689-9\_39},
timestamp = {Mon, 06 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CouvreurHP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DavidA91,
author = {Ren{\'{e}} David and
Hassane Alla},
editor = {Grzegorz Rozenberg},
title = {Autonomous And Timed Continous Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {71--90},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_40},
doi = {10.1007/3-540-56689-9\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DavidA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Evans91,
author = {John B. Evans},
editor = {Grzegorz Rozenberg},
title = {The Devnet: a Petri Net for Discrete Event Simulation},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {91--125},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_41},
doi = {10.1007/3-540-56689-9\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Evans91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EzpelataCS91,
author = {Joaquin Ezpeleta and
Jean{-}Michel Couvreur and
Manuel Silva Su{\'{a}}rez},
editor = {Grzegorz Rozenberg},
title = {A New Technique for Finding a Generating Family of Siphons, Traps
and st-Components. Application to Colored Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {126--147},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_42},
doi = {10.1007/3-540-56689-9\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/EzpelataCS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Fehling91,
author = {Rainer Fehling},
editor = {Grzegorz Rozenberg},
title = {A Concept of Hierarchical Petri Nets with Building Blocks},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {148--168},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_43},
doi = {10.1007/3-540-56689-9\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Fehling91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Feldbrugge91,
author = {Frits Feldbrugge},
editor = {Grzegorz Rozenberg},
title = {Petri Net Tool Overview 1992},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {169--209},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_44},
doi = {10.1007/3-540-56689-9\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Feldbrugge91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Funkel91,
author = {Alain Finkel},
editor = {Grzegorz Rozenberg},
title = {The Minimal Coverability Graph for Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {210--243},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_45},
doi = {10.1007/3-540-56689-9\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Funkel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GorrieriM91,
author = {Roberto Gorrieri and
Ugo Montanari},
editor = {Grzegorz Rozenberg},
title = {Distributed Implementation of {CCS}},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {244--266},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_46},
doi = {10.1007/3-540-56689-9\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GorrieriM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GouetPMY91,
author = {R. Gouet and
F. Plo and
M. San Miguel and
Bernard Ycart},
editor = {Grzegorz Rozenberg},
title = {Saturation Conditions For Stochastic Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {267--280},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_47},
doi = {10.1007/3-540-56689-9\_47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GouetPMY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LafittPX91,
author = {S. Lafitt and
Jean{-}Marie Proth and
Xiaolan Xie},
editor = {Grzegorz Rozenberg},
title = {Marking Optimization In Timed Event Graphs},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {281--300},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_48},
doi = {10.1007/3-540-56689-9\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LafittPX91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LiW91,
author = {Yao Li and
C. Murray Woodside},
editor = {Grzegorz Rozenberg},
title = {Iterative Decomposition and Aggregation of Stochastic Marked Graph
Petri Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {325--349},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_50},
doi = {10.1007/3-540-56689-9\_50},
timestamp = {Tue, 20 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/LiW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Lindquist91,
author = {Markus Lindquist},
editor = {Grzegorz Rozenberg},
title = {Parameterized Reachability Trees for Predicate/Transition Nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {301--324},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_49},
doi = {10.1007/3-540-56689-9\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Lindquist91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Michelis91,
author = {Giorgio De Michelis},
editor = {Grzegorz Rozenberg},
title = {Constraints and Extensions in a Calculus of {EN} Systems},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {350--370},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_51},
doi = {10.1007/3-540-56689-9\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Michelis91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Smith91,
author = {Einar Smith},
editor = {Grzegorz Rozenberg},
title = {Comparability Orders and Measurement},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {371--405},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_52},
doi = {10.1007/3-540-56689-9\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Smith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Souissi91,
author = {Younes Souissi},
editor = {Grzegorz Rozenberg},
title = {Deterministic Systems of Sequential Processes: a class of structured
Petri nets},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {406--426},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_53},
doi = {10.1007/3-540-56689-9\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Souissi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valmari91,
author = {Antti Valmari},
editor = {Grzegorz Rozenberg},
title = {Compositional State Space Generation},
booktitle = {Advances in Petri Nets 1993, Papers from the 12th International Conference
on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991},
series = {Lecture Notes in Computer Science},
volume = {674},
pages = {427--457},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56689-9\_54},
doi = {10.1007/3-540-56689-9\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valmari91.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-05-29 19:50 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:
