Strong behavioral similarities in timed-arc Petri nets
The concept of process similarity has attracted the attention of many researchers in the recent literature, since it measures the degree of proximity of processes. Similarities are therefore useful for the efficient management of large repositories, since they allow us to find the appropriate proces...
Saved in:
| Published in | Applied mathematics and computation Vol. 333; pp. 401 - 415 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
15.09.2018
|
| Subjects | |
| Online Access | Get full text |
Cover
Loading…
| Abstract | The concept of process similarity has attracted the attention of many researchers in the recent literature, since it measures the degree of proximity of processes. Similarities are therefore useful for the efficient management of large repositories, since they allow us to find the appropriate process models among hundreds or thousands of possible candidates. However, time constraints are usually omitted when these similarity measures are defined, so in this paper two similarity measures are defined over a timed extension of Petri nets, the so-called timed-arc Petri nets, in which tokens are assigned an age indicating the time elapsed from creation, and PT-arcs (place to transition arcs) are labeled with time intervals that are used to restrict the age of the tokens that can be used to fire the adjacent transition. |
|---|---|
| AbstractList | The concept of process similarity has attracted the attention of many researchers in the recent literature, since it measures the degree of proximity of processes. Similarities are therefore useful for the efficient management of large repositories, since they allow us to find the appropriate process models among hundreds or thousands of possible candidates. However, time constraints are usually omitted when these similarity measures are defined, so in this paper two similarity measures are defined over a timed extension of Petri nets, the so-called timed-arc Petri nets, in which tokens are assigned an age indicating the time elapsed from creation, and PT-arcs (place to transition arcs) are labeled with time intervals that are used to restrict the age of the tokens that can be used to fire the adjacent transition. |
| Author | Valero, Valentín |
| Author_xml | – sequence: 1 givenname: Valentín orcidid: 0000-0003-3462-7656 surname: Valero fullname: Valero, Valentín email: Valentin.Valero@uclm.es organization: School of Informatics, University of Castilla-La Mancha, Albacete, Spain |
| BookMark | eNp9z81Kw0AUhuFBKthWL8BdbiDxTOYnE1xJ8Q8KCup6mMyc6ClNIjNDwbs3pa5dndV7-J4VW4zTiIxdc6g4cH2zq9zgqxq4qUBU0IgztuSmEaXSsl2wJUCrSwEgLtgqpR0ANJrLJdNvOU7jZ9HhlzvQFN2-SDTQ3kXKhKmgscg0YChd9MUr5kjFiDldsvPe7RNe_d01-3i4f988lduXx-fN3bb0QkIulail9GBCMC12WmgjOyU6zrlC45QKMqBr6t71quGya6GusRXYY-9a4w2INeOnvz5OKUXs7XekwcUfy8Ee4XZnZ7g9wi0IO8Pn5vbU4DzsQBht8oSjx0ARfbZhon_qX9TzYjA |
| CitedBy_id | crossref_primary_10_1080_08839514_2020_1842111 |
| Cites_doi | 10.1007/3-540-48068-4_24 10.4018/jwsr.2007100101 10.1007/3-540-56863-8_52 10.1016/j.compind.2010.01.001 10.1016/j.datak.2007.06.010 10.1108/14637150610668024 10.1007/3-540-45740-2_5 10.1007/3-540-44988-4_12 10.1016/S0304-3975(98)00008-5 10.1007/978-3-642-03848-8_5 |
| ContentType | Journal Article |
| Copyright | 2018 Elsevier Inc. |
| Copyright_xml | – notice: 2018 Elsevier Inc. |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.amc.2018.03.073 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Mathematics |
| EISSN | 1873-5649 |
| EndPage | 415 |
| ExternalDocumentID | 10_1016_j_amc_2018_03_073 S0096300318302546 |
| GrantInformation_xml | – fundername: FEDER grantid: TIN2015-65845-C03-02-R funderid: https://doi.org/10.13039/501100002924 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1RT 1~. 1~5 23M 4.4 457 4G. 5GY 6J9 7-5 71M 8P~ 9JN AABNK AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAXUO ABAOU ABFNM ABFRF ABJNI ABMAC ABYKQ ACAZW ACDAQ ACGFO ACGFS ACRLP ADBBV ADEZE ADGUI AEBSH AEFWE AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AIEXJ AIGVJ AIKHN AITUG AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ ARUGR AXJTR BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FIRID FNPLU FYGXN G-Q GBLVA IHE J1W KOM LG9 M26 M41 MHUIS MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 RIG RNS ROL RPZ RXW SBC SDF SDG SES SME SPC SPCBC SSW SSZ T5K TN5 WH7 X6Y XPP ZMT ~02 ~G- 5VS AAQFI AAQXK AAXKI AAYXX ABEFU ABXDB ADIYS ADMUD AFFNX AFJKZ AI. AKRWK ASPBG AVWKF AZFZN CITATION FEDTE FGOYB G-2 HLZ HMJ HVGLF HZ~ R2- SEW TAE VH1 VOH WUQ |
| ID | FETCH-LOGICAL-c340t-53244c08dd89eb63684b53b1115e8a55d4dea72faf5714b9022e93efefa98c803 |
| IEDL.DBID | .~1 |
| ISSN | 0096-3003 |
| IngestDate | Thu Sep 26 19:14:35 EDT 2024 Fri Feb 23 02:25:30 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Formal methods Reachability graphs Timed-arc Petri nets Similarities |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c340t-53244c08dd89eb63684b53b1115e8a55d4dea72faf5714b9022e93efefa98c803 |
| ORCID | 0000-0003-3462-7656 |
| OpenAccessLink | https://ruidera.uclm.es/xmlui/bitstream/10578/20972/1/Strong%20Behavioral%20Similarities.pdf |
| PageCount | 15 |
| ParticipantIDs | crossref_primary_10_1016_j_amc_2018_03_073 elsevier_sciencedirect_doi_10_1016_j_amc_2018_03_073 |
| PublicationCentury | 2000 |
| PublicationDate | 2018-09-15 |
| PublicationDateYYYYMMDD | 2018-09-15 |
| PublicationDate_xml | – month: 09 year: 2018 text: 2018-09-15 day: 15 |
| PublicationDecade | 2010 |
| PublicationTitle | Applied mathematics and computation |
| PublicationYear | 2018 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | David, Jacobsen, Jacobsen, Jørgensen, Møller, Srba (bib0012) 2012; 7214 Cerone, Maggiolo-Schettini (bib0010) 1999; 216 Valero, Pardo, Cuartero (bib0028) 2002; 2360 Nielsen, Sassone, Srba (bib0022) 2001; 2245 Chavarría-Baéz, Li (bib0011) 2011 Hanisch (bib0016) 1993; 691 Rosemann (bib0024) 2006; 12 R.M. Dijkman, M. Dumas, L. García-Bañuelos. Graph Matching Algo-rithms for Business Process Model Similarity Search. Proceedings of the 7th International, Conference on Business Process Management (BPM), Lecture Notes in Computer Science, vol. 5701, pp. 4863. 2009. Zha, Wang, Wen, Wang, Sun (bib0032) 2010; 61 Bolognesi, Lucidi, Trigila (bib0008) 1990 Bowden (bib0009) 1996 Andersen, Larsen, Srba, Sørensen, Taankvist (bib0005) 2013; volume 7721 Emmert-Streib, Dehmer, Shi (bib0015) 2016; 346–347 Wang, Wen, Wang, Wang (bib0031) 2014; 8841 Ramchandani (bib0023) 1973 Wang, He, Wen, Wu, Hofstede, Su (bib0030) 2010; 6426 de Medeiros, van der Aalst, Weijters (bib0004) 2008; 64 van der Aalst (bib0001) 1993; 691 de Frutos, Valero, Marroquín (bib0013) 2000; 1825 Merlin (bib0021) 1974 Marsan, Balbo, Bobbio, Chiola, Conte, Cumani (bib0003) 1985 Valero, Macià (bib0027) 2009; volume 15 . Jacobsen, Jacobsen, Møller, Srba (bib0017) 2011; volume 6543 Abdulla, Nyln (bib0002) 2001; 2075 Valero, de Frutos Escrig, Cuartero (bib0026) 1999 V. Valero, J.J. Pardo, TPAL tool, Computer Science Department, University of Castilla-La Mancha. Mao (bib0020) 2010 Bae, Liu, Caverlee, Zhang, Bae (bib0006) 2007; 4 Hanisch (10.1016/j.amc.2018.03.073_bib0016) 1993; 691 Bae (10.1016/j.amc.2018.03.073_bib0006) 2007; 4 Merlin (10.1016/j.amc.2018.03.073_bib0021) 1974 van der Aalst (10.1016/j.amc.2018.03.073_bib0001) 1993; 691 Nielsen (10.1016/j.amc.2018.03.073_bib0022) 2001; 2245 Rosemann (10.1016/j.amc.2018.03.073_bib0024) 2006; 12 Jacobsen (10.1016/j.amc.2018.03.073_bib0017) 2011; volume 6543 Valero (10.1016/j.amc.2018.03.073_bib0026) 1999 Wang (10.1016/j.amc.2018.03.073_sbref0029) 2014; 8841 10.1016/j.amc.2018.03.073_bib0029 Andersen (10.1016/j.amc.2018.03.073_bib0005) 2013; volume 7721 Mao (10.1016/j.amc.2018.03.073_bib0020) 2010 Marsan (10.1016/j.amc.2018.03.073_bib0003) 1985 Zha (10.1016/j.amc.2018.03.073_bib0032) 2010; 61 David (10.1016/j.amc.2018.03.073_bib0012) 2012; 7214 Cerone (10.1016/j.amc.2018.03.073_bib0010) 1999; 216 Valero (10.1016/j.amc.2018.03.073_bib0027) 2009; volume 15 Emmert-Streib (10.1016/j.amc.2018.03.073_bib0015) 2016; 346–347 Abdulla (10.1016/j.amc.2018.03.073_bib0002) 2001; 2075 Bowden (10.1016/j.amc.2018.03.073_sbref0009) 1996 de Medeiros (10.1016/j.amc.2018.03.073_bib0004) 2008; 64 Ramchandani (10.1016/j.amc.2018.03.073_bib0023) 1973 Valero (10.1016/j.amc.2018.03.073_bib0028) 2002; 2360 Chavarría-Baéz (10.1016/j.amc.2018.03.073_bib0011) 2011 Wang (10.1016/j.amc.2018.03.073_sbref0028) 2010; 6426 Bolognesi (10.1016/j.amc.2018.03.073_bib0008) 1990 de Frutos (10.1016/j.amc.2018.03.073_bib0013) 2000; 1825 10.1016/j.amc.2018.03.073_bib0014 |
| References_xml | – volume: 2075 start-page: 53 year: 2001 end-page: 70 ident: bib0002 article-title: Timed petri nets and BQOs publication-title: Appl. Theory Petri Nets Lect Notes Comput. Sci. contributor: fullname: Nyln – volume: 61 start-page: 463 year: 2010 end-page: 471 ident: bib0032 article-title: A workflow net similarity measure based on transition adjacency relations publication-title: Comput. Ind. contributor: fullname: Sun – volume: 346–347 start-page: 180 year: 2016 end-page: 197 ident: bib0015 article-title: Fifty years of graph matching, network alignment and network comparison publication-title: Inf. Sci. Sci. Direct contributor: fullname: Shi – volume: volume 6543 start-page: 46 year: 2011 end-page: 72 ident: bib0017 article-title: Verification of timed-arc petri nets publication-title: Proceedings of the SOFSEM 2011, Theory and Practice of Computer Science, Lecture Notes in Computer Science contributor: fullname: Srba – volume: 1825 start-page: 187 year: 2000 end-page: 206 ident: bib0013 article-title: Decidability of properties of timed-arc petri nets publication-title: Appl. Theory Petri Nets Lect. Notes Comput. Sci. contributor: fullname: Marroquín – year: 1996 ident: bib0009 article-title: Modelling time in petri nets publication-title: Proceedings of the Second Australia-Japan Workshop on Stochastic Models contributor: fullname: Bowden – start-page: 80 year: 1985 end-page: 87 ident: bib0003 article-title: On petri nets with stochastic timing publication-title: Proceedings of the International Workshop on Timed Petri Nets contributor: fullname: Cumani – volume: 4 start-page: 1 year: 2007 end-page: 17 ident: bib0006 article-title: Development of distance measures for process mining, discovery and integration publication-title: Int. J. Web Serv. Res. contributor: fullname: Bae – volume: 2360 start-page: 414 year: 2002 end-page: 433 ident: bib0028 article-title: Translating TPAL specifications into timed-arc petri nets publication-title: Appl. Theory Petri Nets Lect. Notes Comput. Sci. contributor: fullname: Cuartero – start-page: 193 year: 2010 end-page: 196 ident: bib0020 article-title: Complexity analysis for petri net-based business process in web service composition publication-title: Proceedings of the 5th International Symposium on Service Oriented System Engineering, IEEE Computer Society contributor: fullname: Mao – volume: 8841 start-page: 184 year: 2014 end-page: 201 ident: bib0031 article-title: TAGER: Transition-labeled graph edit distance similarity measure on process models. contributor: fullname: Wang – start-page: 188 year: 1999 end-page: 196 ident: bib0026 article-title: On non-decidability of reachability for timed-arc petri nets publication-title: Proceedings of the 8th. International Workshop on Petri Nets and Performance Models (PNPM’99) contributor: fullname: Cuartero – volume: 691 start-page: 282 year: 1993 end-page: 299 ident: bib0016 article-title: Analysis of place/transition nets with timed-arcs and its application to batch process control publication-title: Appl. Theory Petri Nets, Lect. Notes Comput. Sci. contributor: fullname: Hanisch – volume: volume 7721 start-page: 69 year: 2013 end-page: 81 ident: bib0005 article-title: Verification of liveness properties on closed timed-arc petri nets publication-title: Proceedings of the 8th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS’12), Lecture Notes in Computer Science contributor: fullname: Taankvist – volume: 12 start-page: 377 year: 2006 end-page: 384 ident: bib0024 article-title: Potential pitfalls of process modelling: Part b. publication-title: Bus. Process Manag. J. contributor: fullname: Rosemann – start-page: 1 year: 1990 end-page: 14 ident: bib0008 article-title: From timed petri nets to timed LOTOS publication-title: Proceedings of the 10th International IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification, North-Holland contributor: fullname: Trigila – volume: 216 start-page: 1 year: 1999 end-page: 53 ident: bib0010 article-title: Time-based expressivity of time petri nets for system specification publication-title: Theor. Comput. Sci. contributor: fullname: Maggiolo-Schettini – volume: volume 15 start-page: 69 year: 2009 end-page: 82 ident: bib0027 article-title: Removing dead transitions in timed-arc petri nets publication-title: Mathematical and Computer Modelling of Dynamical Systems contributor: fullname: Macià – year: 1973 ident: bib0023 publication-title: Performance evaluation of asynchronous concurrent systems by timed Petri Nets contributor: fullname: Ramchandani – volume: 64 start-page: 55 year: 2008 end-page: 74 ident: bib0004 article-title: Quantifying process equivalence based on observed behavior publication-title: Data Knowl. Eng. J. contributor: fullname: Weijters – volume: 691 start-page: 451 year: 1993 end-page: 472 ident: bib0001 article-title: Interval timed coloured petri nets and their analysis publication-title: Lect. Notes Comput. Sci. contributor: fullname: van der Aalst – volume: 7214 start-page: 492 year: 2012 end-page: 497 ident: bib0012 article-title: TAPAAL 2.0: Integrated development environment for timed-arc petri nets publication-title: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’12), Lecture Notes in Computer Science contributor: fullname: Srba – year: 1974 ident: bib0021 publication-title: A study of the recoverability of communication protocols contributor: fullname: Merlin – start-page: 922 year: 2011 end-page: 923 ident: bib0011 article-title: A petri net-based metric for active rule validation publication-title: Proceedings of the 23rd IEEE International Conference on Tools with Artificial Intelligence contributor: fullname: Li – volume: 2245 start-page: 280 year: 2001 end-page: 291 ident: bib0022 article-title: Properties of distributed timed-arc petri nets publication-title: Proceedings of the 21st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’01), Lecture Notes in Computer Science contributor: fullname: Srba – volume: 6426 start-page: 394 year: 2010 end-page: 401 ident: bib0030 article-title: A behavioral similarity measure between labeled petri nets based on principal transition sequences contributor: fullname: Su – volume: 8841 start-page: 184 year: 2014 ident: 10.1016/j.amc.2018.03.073_sbref0029 article-title: TAGER: Transition-labeled graph edit distance similarity measure on process models. contributor: fullname: Wang – year: 1996 ident: 10.1016/j.amc.2018.03.073_sbref0009 article-title: Modelling time in petri nets contributor: fullname: Bowden – volume: volume 7721 start-page: 69 year: 2013 ident: 10.1016/j.amc.2018.03.073_bib0005 article-title: Verification of liveness properties on closed timed-arc petri nets contributor: fullname: Andersen – volume: 7214 start-page: 492 year: 2012 ident: 10.1016/j.amc.2018.03.073_bib0012 article-title: TAPAAL 2.0: Integrated development environment for timed-arc petri nets contributor: fullname: David – start-page: 193 year: 2010 ident: 10.1016/j.amc.2018.03.073_bib0020 article-title: Complexity analysis for petri net-based business process in web service composition contributor: fullname: Mao – year: 1973 ident: 10.1016/j.amc.2018.03.073_bib0023 contributor: fullname: Ramchandani – volume: 2360 start-page: 414 year: 2002 ident: 10.1016/j.amc.2018.03.073_bib0028 article-title: Translating TPAL specifications into timed-arc petri nets publication-title: Appl. Theory Petri Nets Lect. Notes Comput. Sci. doi: 10.1007/3-540-48068-4_24 contributor: fullname: Valero – start-page: 188 year: 1999 ident: 10.1016/j.amc.2018.03.073_bib0026 article-title: On non-decidability of reachability for timed-arc petri nets contributor: fullname: Valero – start-page: 922 year: 2011 ident: 10.1016/j.amc.2018.03.073_bib0011 article-title: A petri net-based metric for active rule validation contributor: fullname: Chavarría-Baéz – volume: 2245 start-page: 280 year: 2001 ident: 10.1016/j.amc.2018.03.073_bib0022 article-title: Properties of distributed timed-arc petri nets contributor: fullname: Nielsen – volume: 4 start-page: 1 issue: 4 year: 2007 ident: 10.1016/j.amc.2018.03.073_bib0006 article-title: Development of distance measures for process mining, discovery and integration publication-title: Int. J. Web Serv. Res. doi: 10.4018/jwsr.2007100101 contributor: fullname: Bae – volume: volume 6543 start-page: 46 year: 2011 ident: 10.1016/j.amc.2018.03.073_bib0017 article-title: Verification of timed-arc petri nets contributor: fullname: Jacobsen – start-page: 1 year: 1990 ident: 10.1016/j.amc.2018.03.073_bib0008 article-title: From timed petri nets to timed LOTOS contributor: fullname: Bolognesi – year: 1974 ident: 10.1016/j.amc.2018.03.073_bib0021 contributor: fullname: Merlin – volume: volume 15 start-page: 69 year: 2009 ident: 10.1016/j.amc.2018.03.073_bib0027 article-title: Removing dead transitions in timed-arc petri nets contributor: fullname: Valero – volume: 691 start-page: 282 year: 1993 ident: 10.1016/j.amc.2018.03.073_bib0016 article-title: Analysis of place/transition nets with timed-arcs and its application to batch process control publication-title: Appl. Theory Petri Nets, Lect. Notes Comput. Sci. doi: 10.1007/3-540-56863-8_52 contributor: fullname: Hanisch – volume: 346–347 start-page: 180 year: 2016 ident: 10.1016/j.amc.2018.03.073_bib0015 article-title: Fifty years of graph matching, network alignment and network comparison publication-title: Inf. Sci. Sci. Direct contributor: fullname: Emmert-Streib – volume: 61 start-page: 463 year: 2010 ident: 10.1016/j.amc.2018.03.073_bib0032 article-title: A workflow net similarity measure based on transition adjacency relations publication-title: Comput. Ind. doi: 10.1016/j.compind.2010.01.001 contributor: fullname: Zha – volume: 64 start-page: 55 issue: 1 year: 2008 ident: 10.1016/j.amc.2018.03.073_bib0004 article-title: Quantifying process equivalence based on observed behavior publication-title: Data Knowl. Eng. J. doi: 10.1016/j.datak.2007.06.010 contributor: fullname: de Medeiros – volume: 12 start-page: 377 issue: 3 year: 2006 ident: 10.1016/j.amc.2018.03.073_bib0024 article-title: Potential pitfalls of process modelling: Part b. publication-title: Bus. Process Manag. J. doi: 10.1108/14637150610668024 contributor: fullname: Rosemann – volume: 691 start-page: 451 year: 1993 ident: 10.1016/j.amc.2018.03.073_bib0001 article-title: Interval timed coloured petri nets and their analysis publication-title: Lect. Notes Comput. Sci. contributor: fullname: van der Aalst – ident: 10.1016/j.amc.2018.03.073_bib0029 – volume: 2075 start-page: 53 year: 2001 ident: 10.1016/j.amc.2018.03.073_bib0002 article-title: Timed petri nets and BQOs publication-title: Appl. Theory Petri Nets Lect Notes Comput. Sci. doi: 10.1007/3-540-45740-2_5 contributor: fullname: Abdulla – start-page: 80 year: 1985 ident: 10.1016/j.amc.2018.03.073_bib0003 article-title: On petri nets with stochastic timing contributor: fullname: Marsan – volume: 1825 start-page: 187 year: 2000 ident: 10.1016/j.amc.2018.03.073_bib0013 article-title: Decidability of properties of timed-arc petri nets publication-title: Appl. Theory Petri Nets Lect. Notes Comput. Sci. doi: 10.1007/3-540-44988-4_12 contributor: fullname: de Frutos – volume: 216 start-page: 1 issue: 1–2 year: 1999 ident: 10.1016/j.amc.2018.03.073_bib0010 article-title: Time-based expressivity of time petri nets for system specification publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(98)00008-5 contributor: fullname: Cerone – ident: 10.1016/j.amc.2018.03.073_bib0014 doi: 10.1007/978-3-642-03848-8_5 – volume: 6426 start-page: 394 year: 2010 ident: 10.1016/j.amc.2018.03.073_sbref0028 article-title: A behavioral similarity measure between labeled petri nets based on principal transition sequences contributor: fullname: Wang |
| SSID | ssj0007614 |
| Score | 2.2971134 |
| Snippet | The concept of process similarity has attracted the attention of many researchers in the recent literature, since it measures the degree of proximity of... |
| SourceID | crossref elsevier |
| SourceType | Aggregation Database Publisher |
| StartPage | 401 |
| SubjectTerms | Formal methods Reachability graphs Similarities Timed-arc Petri nets |
| Title | Strong behavioral similarities in timed-arc Petri nets |
| URI | https://dx.doi.org/10.1016/j.amc.2018.03.073 |
| Volume | 333 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB5KvehBfGJ9lBw8CWuzm2SbPZZiqUp70UJvIclmZYWuxa5Xf7uTffgAvXjcQCB8mcxMst98A3CpKbPUJDTwyX3gaxnxSMUisJYZw2yis6od0GweTxf8bimWHRi3tTCeVtn4_tqnV966GRk0aA7Wee5rfBOvF-WN0pd0e9ltjuEPbfr6_Yvmgdf0Wok58Rwvyto_mxXHS6-8imEoK53TIfs9Nn2LN5M92G0SRTKq17IPHVccwM7sU2V1cwjxg3_HfiJfpfZkk69yvKtWMqkkL4hvHZ8GaMykap1FCldujmAxuXkcT4OmD0JgGadlIDDp4ZbKNJWJMzGLJTeCGfRSwkktRMpTp4dRpjMxDDkCH0UuYS5zmU6klZQdQ7d4KdwJEI7ZSii0CXVquAiNsVLoNMYxarnRUQ-uWgTUupa7UC0P7FkhXMrDpShTCFcPeIuR-rFnCt3x39NO_zftDLb9l-dqhOIcuuXrm7vAhKA0_WrH-7A1ur2fzj8AeYqzUw |
| link.rule.ids | 315,783,787,4509,24128,27936,27937,45597,45691 |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV27TsMwFL0q7QAMiKcozwxMSFGd2E7tsapAKX0stFI3y3YcFKSGiob_x86jgAQLqyNL0bF9fGzfey7AnURYI8WR78S973IZ7ZKKqK81VgprLtOyHNB0FsUL8rSkyxYMm1wYF1ZZc3_F6SVb1y29Gs3eOstcji93flFuUrqU7mgHOlYNcLs6O4PROJ5tCdme1CszZu7CvBBuHjfLMC-5ckaGASutTvv49-3p25bzeAgHtVb0BtXvHEHL5MewP90arW5OIHp2V9kv3le2vbfJVpk9rpZOqV6We656fOLb-eyV1bO83BSbU1g8PsyHsV-XQvA1JqjwqdU9RCOWJIwbFeGIEUWxskRFDZOUJiQxsh-mMqX9gFjsw9BwbFKTSs40Q_gM2vlbbs7BI1awBFSqQCaK0EApzahMItuGNFEy7MJ9g4BYV44XogkFexUWLuHgEggLC1cXSIOR-DFswjLy390u_tftFnbj-XQiJqPZ-BL23BcXuhHQK2gX7x_m2uqDQt3U4_8JxXK2Bw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Strong+behavioral+similarities+in+timed-arc+Petri+nets&rft.jtitle=Applied+mathematics+and+computation&rft.au=Valero%2C+Valent%C3%ADn&rft.date=2018-09-15&rft.issn=0096-3003&rft.volume=333&rft.spage=401&rft.epage=415&rft_id=info:doi/10.1016%2Fj.amc.2018.03.073&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_amc_2018_03_073 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0096-3003&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0096-3003&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0096-3003&client=summon |