Остановите войну!
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 32 matches
- 2003
- Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler:
Prototyping Object Oriented Specifications. ICATPN 2003: 473-482 - Éric Badouel, Jules Chenou:
Nets Enriched over Closed Monoidal Structures. ICATPN 2003: 64-81 - Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wieslaw Pawlowski, Lucia Pomello:
Modular System Development with Pullbacks. ICATPN 2003: 140-160 - Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN 2003: 483-505 - Ed Brinksma:
Compositional Theories of Qualitative and Quantitative Behaviour. ICATPN 2003: 37-42 - Lawrence Cabac, Daniel Moldt, Heiko Rölke:
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols. ICATPN 2003: 102-120 - José Manuel Colom:
The Resource Allocation Problem in Flexible Manufacturing Systems. ICATPN 2003: 23-35 - Clarence A. Ellis:
Net Models Supporting Human and Humane Behaviors. ICATPN 2003: 43 - Rik Eshuis, Juliane Dehnert:
Reactive Petri Nets for Workflow Modeling. ICATPN 2003: 296-315 - Hans Fleischhack, Elisabeth Pelz:
Hierarchical Timed High Level Nets and Their Branching Processes. ICATPN 2003: 397-416 - Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno:
On the Use of Petri Nets for the Computation of Completion Time Distribution for Short TCP Transfers. ICATPN 2003: 181-200 - Sahika Genc, Stéphane Lafortune:
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. ICATPN 2003: 316-336 - Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve:
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ICATPN 2003: 337-356 - Kurt Jensen:
Coloured Petri Nets: Status and Outlook. ICATPN 2003: 1-2 - Jens Bæk Jørgensen:
Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN 2003: 256-275 - Gabriel Juhás, Robert Lorenz, Tomás Singliar:
On Synchronicity and Concurrency in Petri Nets. ICATPN 2003: 357-376 - Jorge Júlvez, Laura Recalde, Manuel Silva Suárez:
On Reachability in Autonomous Continuous Petri Net Systems. ICATPN 2003: 221-240 - Stéphane Klein, Georg Frey, Mark Minas:
PLC Programming with Signal Interpreted Petri Nets. ICATPN 2003: 440-449 - Michael Köhler, Daniel Moldt, Heiko Rölke:
Modelling Mobility and Mobile Agents Using Nets within Nets. ICATPN 2003: 121-139 - Kurt Lautenbach:
Logical Reasoning and Petri Nets. ICATPN 2003: 276-295 - Marko Mäkelä:
Model Checking Safety Properties in Modular High-Level Nets. ICATPN 2003: 201-220 - Marco Ajmone Marsan, Michele Garetto, Renato Lo Cigno, Michela Meo:
Colored GSPN Models for the QoS Design of Internet Subnets. ICATPN 2003: 36 - Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano:
Towards Biopathway Modeling and Simulation. ICATPN 2003: 3-22 - Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN 2003: 450-462 - Spyros A. Reveliotis:
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. ICATPN 2003: 241-255 - Claus Schröter, Stefan Schwoon, Javier Esparza:
The Model-Checking Kit. ICATPN 2003: 463-472 - Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante:
Specification and Validation of the SACI-1 On-Board Computer Using Timed-CSP-Z and Petri Nets. ICATPN 2003: 161-180 - Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe:
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets. ICATPN 2003: 417-439 - Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier:
Automatic Symmetry Detection in Well-Formed Nets. ICATPN 2003: 82-101 - H. M. W. Verbeek, Twan Basten:
Deciding Life-Cycle Inheritance on Petri Nets. ICATPN 2003: 44-63
skipping 2 more matches
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-07-06 03:53 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