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 23 matches
- 1990
- Grzegorz Rozenberg:
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets, held in Venice, Italy in June 1988, selected papers. Lecture Notes in Computer Science 424, Springer 1990, ISBN 3-540-52494-0 [contents] - 1988
- Charles André:
Synchronized elementary net systems. European Workshop on Applications and Theory in Petri Nets 1988: 51-76 - Eike Best:
Design Methods Based on Nets, Esprit Basic Research Action DEMON. European Workshop on Applications and Theory in Petri Nets 1988: 487-506 - Ludmila Cherkasova, Vadim E. Kotov:
Descriptive and analytical process algebras. European Workshop on Applications and Theory in Petri Nets 1988: 77-104 - Jörg Desel, Agathe Merceron:
P/T-systems as abstractions of C/E-systems. European Workshop on Applications and Theory in Petri Nets 1988: 105-127 - Raymond R. Devillers:
The semantics of capacities in P/T nets. European Workshop on Applications and Theory in Petri Nets 1988: 128-150 - Frits Feldbrugge:
Petri net tool overview 1989. European Workshop on Applications and Theory in Petri Nets 1988: 151-178 - Hartmann J. Genrich:
Equivalence transformations of PrT-nets. European Workshop on Applications and Theory in Petri Nets 1988: 179-208 - Serge Haddad:
A reduction theory for coloured nets. European Workshop on Applications and Theory in Petri Nets 1988: 209-235 - Claire Hanen:
Optimizing microprograms for recurrent loops on pipelined architectures using timed Petri nets. European Workshop on Applications and Theory in Petri Nets 1988: 236-261 - Theodor Hildebrand, Nicolas Trèeves:
S-CORT(R): a method for the development of electronic payment systems. European Workshop on Applications and Theory in Petri Nets 1988: 262-280 - Hervé P. Hillion:
Timed Petri nets and application to multi-stage production systems. European Workshop on Applications and Theory in Petri Nets 1988: 281-305 - Astrid Kiehn:
Petri Net systems and their closure properties. European Workshop on Applications and Theory in Petri Nets 1988: 306-328 - Marco Ajmone Marsan:
Stochastic Petri nets: an elementary introduction. European Workshop on Applications and Theory in Petri Nets 1988: 1-29 - Marco Ajmone Marsan, Giovanni Chiola, Andrea Fumagalli:
Improving the efficiency of the analysis of DSPN models. European Workshop on Applications and Theory in Petri Nets 1988: 30-50 - David May, Roger Shepherd:
Occam and the transputer. European Workshop on Applications and Theory in Petri Nets 1988: 329-353 - Ugo Montanari:
CEDISYS: Compositional Distributed Systems - State of the art, research goals, references. European Workshop on Applications and Theory in Petri Nets 1988: 507-524 - Elisabeth Pelz:
About the concurrent behaviour of EN systems: definability and closure results. European Workshop on Applications and Theory in Petri Nets 1988: 354-373 - Manuel Silva Suárez, Robert Valette:
Petri nets and flexible manufacturing. European Workshop on Applications and Theory in Petri Nets 1988: 374-417 - Peter H. Starke:
Some properties of timed nets under the earliest firing rule. European Workshop on Applications and Theory in Petri Nets 1988: 418-432 - Nicolas Trèves:
A comparative study of different techniques for semi-flows computation in place/transition nets. European Workshop on Applications and Theory in Petri Nets 1988: 433-452 - Heikki Tuominen:
Elementary net systems and dynamic logic. European Workshop on Applications and Theory in Petri Nets 1988: 453-466 - Walter Vogler:
Representation of a swapping class by one net. European Workshop on Applications and Theory in Petri Nets 1988: 467-486
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-09-28 08:45 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