Остановите войну!
for scientists:
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 25 matches
- 2013
- Vladimir A. Bashkin, Irina A. Lomazova:
Soundness of Workflow Nets with an Unbounded Resource is Decidable. PNSE+ModPE 2013: 61-75 - Sofiane Bendoukha, Lawrence Cabac:
Cloud Transition for QoS Modeling of Inter-Organizational Workflows. PNSE+ModPE 2013: 355-356 - Luca Bernardinello, Görkem Kilinç, Elisabetta Mangioni, Lucia Pomello:
Modeling Distributed Private Key Generation by Composing Petri Nets. PNSE+ModPE 2013: 77-96 - Tobias Betz, Lawrence Cabac, Michael Duvigneau, Thomas Wagner, Matthias Wester-Ebbinghaus:
Integrating Web Services in Petri Net-based Agent Applications. PNSE+ModPE 2013: 97-116 - Lawrence Cabac, David Mosteller, Matthias Wester-Ebbinghaus:
A Proposal for the Modeling of Organizational Structures and Agent Knowledge in MAS. PNSE+ModPE 2013: 295-312 - Lawrence Cabac, Michael Simon:
Introducing Catch Arcs to Java Reference Nets. PNSE+ModPE 2013: 155-168 - Thomas Chatain, Stefan Haar:
A Canonical Contraction for Safe Petri Nets. PNSE+ModPE 2013: 25-39 - Christine Choppy, Laure Petrucci, Alfred Sanogo:
Coloured Petri Nets Refinements. PNSE+ModPE 2013: 187-201 - Ernesto Damiani, Paolo Ceravolo:
Knowledge and Business Intelligence Technologies in Cross-Enterprise Environments for Italian Advanced Mechanical Industry. PNSE+ModPE 2013: 271 - Francesco Fiamberti, Daniela Micucci, Francesco Tisato:
Petri Nets as a Means to Validate an Architecture for Time Aware Systems. PNSE+ModPE 2013: 117-131 - Lukasz Fronc, Franck Pommereau:
Building Petri Nets Tools around Neco Compiler. PNSE+ModPE 2013: 239-245 - Rachid Hadjidj, Hanifa Boucheneb:
RT-Studio: A Tool for Modular Design and Analysis of Realtime Systems Using Interpreted Time Petri Nets. PNSE+ModPE 2013: 247-254 - Xiaoqing Jin, Yousra Lembachar, Gianfranco Ciardo:
Symbolic verification of ECA rules. PNSE+ModPE 2013: 41-59 - Yasir Imtiaz Khan, Matteo Risoldi:
Optimizing Algebraic Petri Net Model Checking by Slicing. PNSE+ModPE 2013: 275-294 - Belhassen Mazigh, Kais Ben Fadhel:
A System Performance in Presence of Faults Modeling Framework Using AADL and GSPNs. PNSE+ModPE 2013: 169-186 - Toshiyuki Miyamoto, Hiroyuki Oimura:
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. PNSE+ModPE 2013: 257-258 - Andrea Omicini, Stefano Mariani:
Coordination for Situated MAS: Towards an Event-driven Architecture. PNSE+ModPE 2013: 17-22 - Tomas Richta, Vladimír Janousek, Radek Kocí:
Petri Nets-Based Development of Dynamically Reconfigurable Embedded Systems. PNSE+ModPE 2013: 203-217 - Khodakaram Salimifard, Seyed Yaghoub Hosseini, Mohammad Sadegh Moradi:
Improving Emergency Department Processes Using Coloured Petri Nets. PNSE+ModPE 2013: 335-349 - Dennis M. M. Schunselaar, Eric Verbeek, Wil M. P. van der Aalst, Hajo A. Reijers:
A Framework for Efficiently Deciding Language Inclusion for Sound Unlabelled WF-Nets. PNSE+ModPE 2013: 135-154 - Vegard Veiset, Lars Michael Kristensen:
Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol. PNSE+ModPE 2013: 259-260 - Eric Verbeek, Wil M. P. van der Aalst:
Decomposing Replay Problems: A Case Study. PNSE+ModPE 2013: 219-235 - Thomas Wagner, Lawrence Cabac:
Advantages of a Full Integration between Agents and Workflows. PNSE+ModPE 2013: 353-354 - Jan Martijn E. M. van der Werf, Ronny Mans, Wil M. P. van der Aalst:
Mining Declarative Models Using Time Intervals. PNSE+ModPE 2013: 313-331 - Daniel Moldt:
Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24 - 25, 2013. CEUR Workshop Proceedings 989, CEUR-WS.org 2013 [contents]
loading more results
failed to load more results, please try again later
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-03-29 06:56 CET 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