{"id":"https://openalex.org/W1997905074","doi":"https://doi.org/10.1109/mmar.2013.6670013","title":"Modeling discrete-event systems with constraints","display_name":"Modeling discrete-event systems with constraints","publication_year":2013,"publication_date":"2013-08-01","ids":{"openalex":"https://openalex.org/W1997905074","doi":"https://doi.org/10.1109/mmar.2013.6670013","mag":"1997905074"},"language":"en","primary_location":{"id":"doi:10.1109/mmar.2013.6670013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar.2013.6670013","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088841020","display_name":"Lothar Seybold","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099916","display_name":"PARI (Germany)","ror":"https://ror.org/011pcrd91","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210099916"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Lothar Seybold","raw_affiliation_strings":["RAFI GmbH Berg, Germany","RAFI GmbH, Berg, Germany"],"affiliations":[{"raw_affiliation_string":"RAFI GmbH Berg, Germany","institution_ids":["https://openalex.org/I4210099916"]},{"raw_affiliation_string":"RAFI GmbH, Berg, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032466696","display_name":"Piotr Witczak","orcid":"https://orcid.org/0000-0003-4696-2304"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Piotr Witczak","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona, Gora, Poland","Institute of Control and Computer Engineering, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona, Gora, Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute of Control and Computer Engineering, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082113405","display_name":"Pawe\u0142 Majdzik","orcid":"https://orcid.org/0000-0001-7307-8253"},"institutions":[{"id":"https://openalex.org/I46305939","display_name":"University of Zielona G\u00f3ra","ror":"https://ror.org/04fzm7v55","country_code":"PL","type":"education","lineage":["https://openalex.org/I46305939"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Pawel Majdzik","raw_affiliation_strings":["Institute of Control and Computation Engineering, University of Zielona, Gora, Poland","Institute of Control and Computer Engineering, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Control and Computation Engineering, University of Zielona, Gora, Poland","institution_ids":["https://openalex.org/I46305939"]},{"raw_affiliation_string":"Institute of Control and Computer Engineering, University of Zielona G\u00f3ra, Zielona G\u00f3ra, Poland","institution_ids":["https://openalex.org/I46305939"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088841020"],"corresponding_institution_ids":["https://openalex.org/I4210099916"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0724245,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":null,"first_page":"789","last_page":"793"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9944999814033508,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6960715055465698},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.5820834636688232},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.5810142755508423},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5594987869262695},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5036281943321228},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.47430872917175293},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4588386118412018},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3883155882358551},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3208473026752472},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18540632724761963},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13119688630104065},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09994059801101685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6960715055465698},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5820834636688232},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.5810142755508423},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5594987869262695},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5036281943321228},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.47430872917175293},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4588386118412018},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3883155882358551},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3208473026752472},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18540632724761963},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13119688630104065},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09994059801101685},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mmar.2013.6670013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar.2013.6670013","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 18th International Conference on Methods & Models in Automation & Robotics (MMAR)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.8100000023841858}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1799798760","https://openalex.org/W1996438325","https://openalex.org/W2016738003","https://openalex.org/W2025093758","https://openalex.org/W2090869184","https://openalex.org/W4213373825","https://openalex.org/W4246993756","https://openalex.org/W6638521633"],"related_works":["https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W2383425257","https://openalex.org/W1982812811","https://openalex.org/W1540896195","https://openalex.org/W2161425454","https://openalex.org/W4362712030","https://openalex.org/W2014711626","https://openalex.org/W2125104802","https://openalex.org/W3083295843"],"abstract_inverted_index":{"Prototyping":[0],"Systems":[1],"of":[2,11,21,31,35,44,48,56,67,85,88,92,114,131,147,149,155,166],"Concurrent":[3],"Cyclic":[4],"Processes":[5],"(SCCP),":[6],"in":[7,23,126],"which":[8,94],"a":[9,19,45,54,83],"number":[10],"simultaneously":[12],"running":[13],"processes":[14,57],"compete":[15],"to":[16,18,112],"access":[17],"set":[20],"resources,":[22],"an":[24,89],"automated":[25],"way":[26],"is":[27,80,95,110,120,134,160],"the":[28,60,98,106,118,132,145,150],"main":[29],"thread":[30],"this":[32,127],"paper.":[33],"Procedure":[34],"performance":[36],"evaluation":[37],"for":[38],"such":[39,52],"systems":[40,133],"with":[41,64],"desired":[42],"values":[43],"wide":[46],"range":[47],"system":[49,61,73,151,167,170],"functional":[50],"characteristics,":[51],"as":[53],"schedule":[55,154],"flows":[58],"and":[59,153,169],"period,":[62],"especially":[63],"multiple":[65],"executions":[66],"single":[68,72],"process":[69],"cycles":[70],"within":[71],"cycle":[74],"will":[75,173],"be":[76,174],"presented.":[77,175],"This":[78],"stage":[79],"realised":[81],"by":[82],"procedure":[84],"automatic":[86],"building":[87],"analytical":[90],"model":[91,113],"SCCP,":[93],"based":[96,121,135],"on":[97,122,136],"(max,":[99,107],"+)":[100,108],"algebra":[101,109],"formalism.":[102],"In":[103],"most":[104],"cases":[105],"used":[111],"discrete-event":[115],"systems,":[116],"while":[117],"synchronization":[119],"randez-vous":[123],"protocol.":[124],"However,":[125],"paper":[128],"-":[129,157,172],"modeling":[130],"mutual":[137],"exclusion":[138],"protocol,":[139],"moreover":[140],"buffers":[141],"are":[142],"included.":[143],"Moreover":[144],"algorithm":[146],"determining":[148],"period":[152,171],"workflow":[156],"when":[158],"there":[159],"no":[161],"direct":[162],"relation":[163],"between":[164],"eigenvalue":[165],"matrix":[168]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}