Representation theorems for Petri Nets (English)
- New search for: Meseguer, José
- New search for: Montanari, Ugo
- New search for: Sassone, Vladimiro
- New search for: Freksa, Christian
- New search for: Jantzen, Matthias
- New search for: Valk, Rüdiger
- New search for: Meseguer, José
- New search for: Montanari, Ugo
- New search for: Sassone, Vladimiro
In:
Foundations of Computer Science
: Potential — Theory — Cognition
;
Chapter: 21
;
239-249
;
2006
- Article/Chapter (Book) / Electronic Resource
-
Title:Representation theorems for Petri Nets
-
Additional title:Lect Notes Comput Sci
-
Contributors:Freksa, Christian ( editor ) / Jantzen, Matthias ( editor ) / Valk, Rüdiger ( editor ) / Meseguer, José ( author ) / Montanari, Ugo ( author ) / Sassone, Vladimiro ( author )
-
Published in:Foundations of Computer Science : Potential — Theory — Cognition ; Chapter: 21 ; 239-249Lecture Notes in Computer Science ; 1337 ; 239-249
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2006-05-16
-
Size:11 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
The might of formulas and their limitsBauer, F. L. et al. | 1997
- 9
-
Hardware — SoftwareZemanek, Heinz et al. | 1997
- 21
-
Defining disciplineCoy, Wolfgang et al. | 1997
- 37
-
Computer science as cultural developmentSiefkes, Dirk et al. | 1997
- 49
-
Towards adjusting informatics education to information eraGruska, Jozef / Vollmar, Roland et al. | 1997
- 69
-
Informatics and society: A curriculum for distance educationKlaeren, Herbert / Floyd, Christiane / Diestelmeier, Friedrich et al. | 1997
- 79
-
Syntactic and semantic aspects of parallelismMateescu, Alexandru / Rozenberg, Grzegorz / Salomaa, Arto et al. | 1997
- 107
-
Unique fixpoints in complete lattices with applications to formal languages and semanticsKupka, Ingbert et al. | 1997
- 117
-
On abstract families of languages, power series, and elementsKarner, Georg / Kuich, Werner et al. | 1997
- 10
-
Are there formal languages complete for SymSPACE(log n)?Lange, Klaus -Jörn et al. | 2006
- 11
-
On twist-closed trios: A new morphic characterization of r.e. setsJantzen, Matthias et al. | 2006
- 143
-
An automata approach to some problems on context-free grammarsEsparza, J. / Rossmanith, P. et al. | 1997
- 13
-
On aperiodic sets of Wang tilesCulik, Karel / Kari, Jarkko et al. | 2006
- 14
-
Closure under complementation of logspace complexity classes - A survey -Jenner, Birgit et al. | 2006
- 15
-
A relation between sparse and printable sets in NSPACE(log n)Kirsig, Bernd et al. | 2006
- 16
-
A foundation for computable analysisWeihrauch, Klaus et al. | 2006
- 17
-
A computer scientist's view of life, the universe, and everythingSchmidhuber, Jürgen et al. | 2006
- 209
-
Calendars and chronologiesKudlek, Manfred et al. | 1997
- 19
-
A uniform approach to Petri NetsEhrig, H. / Padberg, J. et al. | 2006
- 20
-
Observing partial order runs of Petri NetsKiehn, Astrid et al. | 2006
- 21
-
Representation theorems for Petri NetsMeseguer, José / Montanari, Ugo / Sassone, Vladimiro et al. | 2006
- 22
-
A remark on trace equationsDiekert, Volker et al. | 2006
- 261
-
Verification of distributed algorithms with algebraic Petri NetsKindler, Ekkart / Reisig, Wolfgang et al. | 1997
- 271
-
A short story on action refinementVogler, Walter et al. | 1997
- 279
-
Interactive and reactive systems: States, observations, experiments, input, output, nondeterminism, compositionality and all thatBroy, Manfred et al. | 1997
- 26
-
Discrete time analysis of a state dependent tandem with different customer typesDaduna, Hans et al. | 2006
- 297
-
How distributed algorithms play the token gameDesel, Jörg et al. | 1997
- 307
-
The asynchronous stack revisited: Rounds set the twilight reelingWalter, Rolf et al. | 1997
- 313
-
Online scheduling of continuous media streamsMonien, B. / Berenbrink, P. / Lüling, R. / Riedel, M. et al. | 1997
- 321
-
Contribution to Goodenough's and Gerhart's theory of software testing and verification: Relation between strong compiler test and compiler implementation verificationLangmaack, Hans et al. | 1997
- 31
-
On the arrangement complexity of uniform treesHotz, Günter / Wu, Hongzhong et al. | 2006
- 32
-
A relational-functional integration for declarative programmingBoley, Harold et al. | 2006
- 359
-
Inside and outside the Chinese roomKanngießer, Siegfried et al. | 1997
- 34
-
Abstract structures in spatial cognitionHabel, Christopher / Eschenbach, Carola et al. | 2006
- 379
-
Spatial and temporal structures in cognitive processesFreksa, Christian et al. | 1997
- 389
-
Qualitative vs. Fuzzy representations of spatial distanceHernández, Daniel et al. | 1997
- 399
-
What's a part? On formalizing part-whole relationsPribbenow, Simone et al. | 1997
- 38
-
SPOCK: A feasibility study on the completeness of parts listsRollinger, Claus R. et al. | 2006
- 39
-
Decision support systems with adaptive reasoning strategiesSchill, Kerstin et al. | 2006
- 429
-
Knowledge discovery in databases — An inductive logic programming approachMorik, Katharina et al. | 1997
- 41
-
The composition heuristicAmmon, Kurt et al. | 2006
- 445
-
The job assignment problem: A study in parallel and distributed machine learningWeiß, Gerhard et al. | 1997
- 455
-
Self-improving behavior arbitrationSalah Hamdi, Mohamed / Kaiser, Karl et al. | 1997
- 465
-
Neural networks for manipulator path planningSturm, Margit et al. | 1997
- 473
-
Path planning using a subgoal graphEldracher, Martin / Pic, Thomas et al. | 1997
- 46
-
A nonlinear markovian characterization of time series using neural networksSchittenkopf, Christian / Deco, Gustavo et al. | 2006
- 489
-
Feature-based perception of semantic conceptsScheler, Gabriele et al. | 1997
- 499
-
Automatic detection of thesaurus relations for information retrieval applicationsRuge, Gerda et al. | 1997
- 507
-
InfoSphere ℳ -V: a new approach to 3D-visualization of informationPfefferer, Leo / Schütt, Dieter et al. | 1997