The DOI matches its Crossref record.
A Time Petri Net Extended with Price Information
Abstract
Performance and cost analysis are the two main purposes of business process modeling, where the Petri net extended with time information is an effective tool for performance analysis, but not for cost analysis. This paper proposes a time Petri net extended with price information—Price Time Petri Net. Firstly, this paper associates a price with a time transition, and gives the semantics for price time Petri net in terms of priced timed transition systems. Then it defines a priced state class as an extension of state class, and discusses the soundness and completeness for this extension. An algorithm is given to prove that the minimum-cost reachability problem for bounded price time Petri net is decidable. Finally, this paper gives an example and draws a conclusion that incorporating price information in time Petri net and applying price time Petri net to business process management
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cited by
Partial Least Squares Methods: Partial Least Squares Correlation and Partial Least Square Regression
Abdi, H., & Williams, L. J. (2013) · Methods in Molecular Biology · doi:10.1007/978-1-62703-059-5_23 · Cited by 448
Genome interplay in the grain transcriptome of hexaploid bread wheat
Pfeifer, M., Kugler, K. G., Sandve, S. R., Zhan, B., Rudi, H., Hvidsten, T. R., International Wheat Genome Sequencing Consortium, Mayer, K. F. X., & Olsen, O.-A. (2014) · Science · doi:10.1126/science.1250091 · Cited by 340
Yendrek, C. R., Tomaz, T., Montes, C. M., Cao, Y., Morse, A. M., Brown, P. J., McIntyre, L. M., Leakey, A. D. B., & Ainsworth, E. A. (2017) · Plant Physiology · doi:10.1104/pp.16.01447 · Cited by 308
Seko, A., Maekawa, T., Tsuda, K., & Tanaka, I. (2014) · Physical Review B · doi:10.1103/physrevb.89.054303 · Cited by 306
Rowan, S., Jiang, S., Korem, T., Szymanski, J., Chang, M.-L., Szelog, J., Cassalman, C., Dasuri, K., McGuire, C., Nagai, R., et al. (2017) · Proceedings of the National Academy of Sciences · doi:10.1073/pnas.1702302114 · Cited by 272
Metadata
- Authors
- LIU, X.-M.
- Venue
- Journal of Software
- Published
- 2007
- Volume
- 18
- Issue
- 1
- Pages
- 1
- ISSN
- 1000-9825 (ISSN-L)
- OpenAlex
- W2125117729
- Cited by
- 268
- References
- 0
- FWCI
- 9.52
- Type
- journal article
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: A Time Petri Net Extended with Price Information. https://app.cochat.ai/papers/10.1360/jos180001
- The paper
- LIU, X.-M. (2007). A Time Petri Net Extended with Price Information. Journal of Software. https://doi.org/10.1360/jos180001
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
