Open Access
Lecture Notes in Computer Science, pages 237-253
Reproducibility of the Empty Marking
Publication type: Book Chapter
Publication date: 2002-01-01
Journal:
Lecture Notes in Computer Science
Q2
SJR: 0.606
CiteScore: 2.6
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Abstract
The main theorem of the paper states that the empty marking Ø is reproducible in a p/t-net
$$
\mathcal{N}
$$
if and only if there are reproducing T-invariants whose net representations have neither traps nor co-traps (deadlocks, siphons). This result is to be seen in connection to modeling processes, since all processes which have a start and a goal event usually reproduce the empty marking.
Found
Found
Top-30
Journals
|
1
2
|
|
|
Lecture Notes in Computer Science
2 publications, 28.57%
|
|
|
Expert Systems with Applications
1 publication, 14.29%
|
|
|
IEEE Transactions on Intelligent Transportation Systems
1 publication, 14.29%
|
|
|
Information Sciences
1 publication, 14.29%
|
|
|
1
2
|
Publishers
|
1
2
3
|
|
|
Institute of Electrical and Electronics Engineers (IEEE)
3 publications, 42.86%
|
|
|
Elsevier
2 publications, 28.57%
|
|
|
Springer Nature
2 publications, 28.57%
|
|
|
1
2
3
|
- We do not take into account publications without a DOI.
- Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Cite this
GOST |
RIS |
BibTex
Cite this
RIS
Copy
TY - GENERIC
DO - 10.1007/3-540-48068-4_15
UR - https://doi.org/10.1007/3-540-48068-4_15
TI - Reproducibility of the Empty Marking
T2 - Lecture Notes in Computer Science
AU - Lautenbach, Kurt
PY - 2002
DA - 2002/01/01
PB - Springer Nature
SP - 237-253
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
Cite this
BibTex (up to 50 authors)
Copy
@incollection{2002_Lautenbach,
author = {Kurt Lautenbach},
title = {Reproducibility of the Empty Marking},
publisher = {Springer Nature},
year = {2002},
pages = {237--253},
month = {jan}
}