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/apn1994.bht:"
download as .bib file
@inproceedings{DBLP:conf/apn/AnglanoP94,
author = {Cosimo Anglano and
Luigi Portinale},
editor = {Robert Valette},
title = {{B-W} Analysis: {A} Backward Reachability Analysis for Diagnostic
Problem Solving Suitable to Parallel Implementation},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {39--58},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_4},
doi = {10.1007/3-540-58152-9\_4},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/AnglanoP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BennacerFFN94,
author = {Nac{\'{e}}ra Bennacer and
Gerard Florin and
C{\'{e}}line Fraize and
St{\'{e}}phane Natkin},
editor = {Robert Valette},
title = {Probabilistic Validation of a Remote Procedure Call Protocol},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {59--78},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_5},
doi = {10.1007/3-540-58152-9\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BennacerFFN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BerthelotB94,
author = {G{\'{e}}rard Berthelot and
Hanifa Boucheneb},
editor = {Robert Valette},
title = {Occurrence Graphs for Interval Timed Coloured Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {79--98},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_6},
doi = {10.1007/3-540-58152-9\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BerthelotB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/BrizC94,
author = {Jos{\'{e}} Luis Briz and
Jos{\'{e}} Manuel Colom},
editor = {Robert Valette},
title = {Implementation of Weighted Place/Transition Nets Based on Linear Enabling
Functions},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {99--118},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_7},
doi = {10.1007/3-540-58152-9\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/BrizC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Buchholz94,
author = {Peter Buchholz},
editor = {Robert Valette},
title = {Hierarchical High Level Petri Nets for Complex System Analysis},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {119--138},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_8},
doi = {10.1007/3-540-58152-9\_8},
timestamp = {Tue, 25 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Buchholz94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChiolaFG94,
author = {Giovanni Chiola and
Giuliana Franceschinis and
Rossano Gaeta},
editor = {Robert Valette},
title = {Modeling Symmetric Computer Architectures by SWNs},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {139--158},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_9},
doi = {10.1007/3-540-58152-9\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChiolaFG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ChristensenH94,
author = {S{\o}ren Christensen and
Niels Damgaard Hansen},
editor = {Robert Valette},
title = {Coloured Petri Nets Extended with Channels for Synchronous Communication},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {159--178},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_10},
doi = {10.1007/3-540-58152-9\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ChristensenH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Ciardo94,
author = {Gianfranco Ciardo},
editor = {Robert Valette},
title = {Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {179--198},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_11},
doi = {10.1007/3-540-58152-9\_11},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/Ciardo94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Clarke94,
author = {Edmund M. Clarke},
editor = {Robert Valette},
title = {Automatic Verification of Finite-state Concurrent Systems},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {1},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_1},
doi = {10.1007/3-540-58152-9\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Clarke94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/CouvreurP94,
author = {Jean{-}Michel Couvreur and
Emmanuel Paviot{-}Adet},
editor = {Robert Valette},
title = {New Structural Invariants for Petri Nets Analysis},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {199--218},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_12},
doi = {10.1007/3-540-58152-9\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/CouvreurP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DiCesareKGL94,
author = {Frank DiCesare and
Paul T. Kulp and
Michael Gile and
George F. List},
editor = {Robert Valette},
title = {The Application of Petri Nets to the Modeling, Analysis and Control
of Intelligent Urban Traffic Networks},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {2--15},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_2},
doi = {10.1007/3-540-58152-9\_2},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/DiCesareKGL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DiazS94,
author = {Michel Diaz and
Patrick S{\'{e}}nac},
editor = {Robert Valette},
title = {Time Stream Petri Nets: {A} Model for Timed Multimedia Information},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {219--238},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_13},
doi = {10.1007/3-540-58152-9\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DiazS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DietzS94,
author = {Cheryl Dietz and
Gerlinde Schreiber},
editor = {Robert Valette},
title = {A Term Representation of {P/T} Systems},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {239--257},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_14},
doi = {10.1007/3-540-58152-9\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DietzS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Donatelli94,
author = {Susanna Donatelli},
editor = {Robert Valette},
title = {Superposed Generalized Stochastic Petri Nets: Definition and Efficient
Solution},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {258--277},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_15},
doi = {10.1007/3-540-58152-9\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Donatelli94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/GenrichHW94,
author = {Hartmann J. Genrich and
Hans{-}Michael Hanisch and
Konrad W{\"{o}}llhaf},
editor = {Robert Valette},
title = {Verification of Recipe-Based Control Procedures by Means of Predicate/Transition
Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {278--297},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_16},
doi = {10.1007/3-540-58152-9\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/GenrichHW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KellerOS94,
author = {Rudolf K. Keller and
Marianne Ozkan and
Xijin Shen},
editor = {Robert Valette},
title = {Towards Comprehensive Support for the Dynamic Analysis of Petri Net
Based Models},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {298--317},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_17},
doi = {10.1007/3-540-58152-9\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KellerOS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Koutny94,
author = {Maciej Koutny},
editor = {Robert Valette},
title = {Partial Order Semantics of Box Expressions},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {318--337},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_18},
doi = {10.1007/3-540-58152-9\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Koutny94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LakosC94,
author = {Charles Lakos and
S{\o}ren Christensen},
editor = {Robert Valette},
title = {A General Systematic Approach to Arc Extensions for Coloured Petri
Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {338--357},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_19},
doi = {10.1007/3-540-58152-9\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LakosC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LautenbachR94,
author = {Kurt Lautenbach and
Hanno Ridder},
editor = {Robert Valette},
title = {Liveness in Bounded Petri Nets Which Are Covered by T-Invariants},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {358--375},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_20},
doi = {10.1007/3-540-58152-9\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/LautenbachR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MeseguerMS94,
author = {Jos{\'{e}} Meseguer and
Ugo Montanari and
Vladimiro Sassone},
editor = {Robert Valette},
title = {On the Model of Computation of Place/Transition Petri Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {16--38},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_3},
doi = {10.1007/3-540-58152-9\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MeseguerMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/MortensenP94,
author = {Kjeld H{\o}yer Mortensen and
Valerio O. Pinci},
editor = {Robert Valette},
title = {Modelling the Work Flow of a Nuclear Waste Management Program},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {376--395},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_21},
doi = {10.1007/3-540-58152-9\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/MortensenP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/NielsenK94,
author = {Donna S. Nielsen and
Leonard Kleinrock},
editor = {Robert Valette},
title = {Data Structures and Algorithms for Extended State Space and Structural
Level Reduction of the {GSPN} Model},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {396--415},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_22},
doi = {10.1007/3-540-58152-9\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/NielsenK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/PastorRCB94,
author = {Enric Pastor and
Oriol Roig and
Jordi Cortadella and
Rosa M. Badia},
editor = {Robert Valette},
title = {Petri Net Analysis Using Boolean Manipulation},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {416--435},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_23},
doi = {10.1007/3-540-58152-9\_23},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apn/PastorRCB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/RuckdeschelO94,
author = {Wilhelm Ruckdeschel and
Reiner Onken},
editor = {Robert Valette},
title = {Modelling of Pilot Behaviour Using Petri Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {436--453},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_24},
doi = {10.1007/3-540-58152-9\_24},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/RuckdeschelO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/ScheschonkT94,
author = {Gert Scheschonk and
Michael Timpe},
editor = {Robert Valette},
title = {Simulation and Analysis of a Document Storage System},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {454--470},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_25},
doi = {10.1007/3-540-58152-9\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/ScheschonkT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Sibertin-Blanc94,
author = {Christophe Sibertin{-}Blanc},
editor = {Robert Valette},
title = {Cooperative Nets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {471--490},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_26},
doi = {10.1007/3-540-58152-9\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Sibertin-Blanc94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/TeruelS94,
author = {Enrique Teruel and
Manuel Silva Su{\'{a}}rez},
editor = {Robert Valette},
title = {Well-Formedness of Equal Conflict Systems},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {491--510},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_27},
doi = {10.1007/3-540-58152-9\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/TeruelS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Tiusanen94,
author = {Mikko Tiusanen},
editor = {Robert Valette},
title = {Symbolic, Symmetry, and Stubborn Set Searches},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {511--530},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_28},
doi = {10.1007/3-540-58152-9\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Tiusanen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Valmari94,
author = {Antti Valmari},
editor = {Robert Valette},
title = {Compositional Analysis with Place-Bordered Subnets},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {531--547},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_29},
doi = {10.1007/3-540-58152-9\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Valmari94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Varpaaniemi94,
author = {Kimmo Varpaaniemi},
editor = {Robert Valette},
title = {On Combining the Stubborn Set Method with the Sleep Set Method},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {548--567},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_30},
doi = {10.1007/3-540-58152-9\_30},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/Varpaaniemi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/YakovlevKKL94,
author = {Alexandre Yakovlev and
Michael Kishinevsky and
Alex Kondratyev and
Luciano Lavagno},
editor = {Robert Valette},
title = {{OR} Causality: Modelling and Hardware Implementation},
booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
pages = {568--587},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9\_31},
doi = {10.1007/3-540-58152-9\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/YakovlevKKL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1994,
editor = {Robert Valette},
title = {Application and Theory of Petri Nets 1994, 15th International Conference,
Zaragoza, Spain, June 20-24, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {815},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58152-9},
doi = {10.1007/3-540-58152-9},
isbn = {3-540-58152-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1994.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-19 04:06 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:
