![](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
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 22 matches
- 2024
- Elvio G. Amparore, Susanna Donatelli, Lea Terracini:
Hilbert Composition of Multilabelled Events. Petri Nets 2024: 132-152 - Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg:
Languages of Higher-Dimensional Timed Automata. Petri Nets 2024: 197-219 - Étienne André, Jaime Arias, Benoît Barbot, Francis Hulin-Hubard, Fabrice Kordon, Van-François Le, Laure Petrucci:
CosyVerif: The Path to Formalisms Cohabitation. Petri Nets 2024: 432-444 - Eike Best, Raymond R. Devillers:
Petri Net Synthesis from a Reachability Set. Petri Nets 2024: 223-243 - Pierre Bouvier, Hubert Garavel:
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets. Petri Nets 2024: 379-401 - Tobias Brockhoff, Moritz Nicolas Gose, Merih Seran Uysal, Wil M. P. van der Aalst:
Process Comparison Using Petri Net Decomposition. Petri Nets 2024: 83-105 - Alex Chan, Adrian Wheeldon, Rishad A. Shafik, Alex Yakovlev:
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets. Petri Nets 2024: 357-378 - José Manuel Colom:
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation. Petri Nets 2024: 3-23 - Julian Gaede, Sophie Wallner, Karsten Wolf:
Modular State Spaces - A New Perspective. Petri Nets 2024: 312-332 - Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder:
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols. Petri Nets 2024: 291-311 - Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024: 109-131 - Loïc Hélouët, Prerak Contractor:
Symbolic Domains and Reachability for Nets with Trajectories. Petri Nets 2024: 244-265 - Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets 2024: 153-174 - Jakub Kovár, Robin Bergenthum:
Token Trail Semantics II - Petri Nets And Their Net Language. Petri Nets 2024: 175-196 - Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets 2024: 413-431 - Damien Morard, Lucas Donati, Didier Buchs:
Symbolic Model Checking Using Intervals of Vectors. Petri Nets 2024: 269-290 - Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes:
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412 - Dominique Sommers, Natalia Sidorova, Boudewijn F. van Dongen:
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects. Petri Nets 2024: 61-82 - Gabriele Taentzer, Jens Kosiol, Leen Lambers:
On the Application of Model-Driven Optimization to Business Processes. Petri Nets 2024: 24-35 - Akio Watanabe, Ayumi Araragi, Hiroki Ikeuchi, Yousuke Takahashi:
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles. Petri Nets 2024: 39-60 - Lukas Zech, Karsten Wolf:
Verifying Temporal Logic Properties in the Modular State Space. Petri Nets 2024: 333-354 - Lars Michael Kristensen, Jan Martijn E. M. van der Werf
:
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings. Lecture Notes in Computer Science 14628, Springer 2024, ISBN 978-3-031-61432-3 [contents]
loading more results
failed to load more results, please try again later
![](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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-04 10:33 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