Filters








367 Hits in 6.4 sec

Free-Choice Nets With Home Clusters Are Lucent [article]

Wil M.P. van der Aalst
2021 arXiv   pre-print
In this paper, it is shown that all free-choice nets having a home cluster are lucent. These nets have a so-called home marking such that it is always possible to reach this marking again.  ...  Unlike previous work, we do not require the marked Petri net to be live and strongly connected. Most of the analysis techniques for free-choice nets are tailored towards well-formed nets.  ...  Free-Choice Nets With Home Clusters Are Lucent In [5] , we defined the class of perpetual nets in an attempt to identify a large class of lucent Petri nets.  ... 
arXiv:2106.03554v1 fatcat:6hkr5khyrzcwjprkvwh4v2rv5m

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions [article]

Wil M.P. van der Aalst
2020 arXiv   pre-print
Perpetual free-choice nets are free-choice Petri nets that are live and bounded and have a home cluster, i.e., there is a cluster such that from any reachable state there is a reachable state marking the  ...  This paper explores the class of marked Petri nets that are lucent and proves that perpetual marked free-choice nets are lucent.  ...  As illustrated by Figure 2 , it is easy to construct non-free-choice nets that are not lucent. Moreover, unbounded Petri nets cannot be lucent.  ... 
arXiv:1801.04315v3 fatcat:ggg3wkovsze7tbwbjthca3qose

Reduction Using Induced Subnets To Systematically Prove Properties For Free-Choice Nets [article]

Wil M.P. van der Aalst
2021 arXiv   pre-print
We use sequences of t-induced T-nets and p-induced P-nets to convert free-choice nets into T-nets and P-nets while preserving properties such as well-formedness, liveness, lucency, pc-safety, and perpetuality  ...  This allows for more systematic proofs that "peel off" non-trivial parts while retaining the essence of the problem (e.g., lifting properties from T-net and P-net to free-choice nets).  ...  Free-Choice Nets With Home Clusters Are Lucent In [5] , we defined the class of perpetual nets in an attempt to identify a large class of lucent Petri nets.  ... 
arXiv:2106.03658v2 fatcat:he4ypjbkyrcw7hra6humb4dhsq

Perpetual Free-choice Petri nets are lucent – proof of a theorem of van der Aalst using CP-exhaustions [article]

Joachim Wehler
2021 arXiv   pre-print
The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods.  ...  Added in proof: See also "van der Aalst, Wil M.P.: Free-Choice Nets With Home Clusters Are Lucent. Fundamenta Informaticae, 2021 (in print)."  ...  (Perpetual T -systems are lucent) Consider a perpetual T -system (T N, µ 0 ) with regeneration cluster cl.  ... 
arXiv:2109.10002v2 fatcat:xquysywhzjcnbp4hnajavgh3oq

Using Free-Choice Nets for Process Mining and Business Process Management

Wil M.P. van der Aalst
2021 Proceedings of the 16th Conference on Computer Science and Intelligence Systems   unpublished
For example, we elaborate on home clusters and lucency as closely-related and desirable correctness notions.  ...  Although the majority of process models used in practice are inherently free-choice, most users (even modeling experts) are not aware of free-choice net theory and associated analysis techniques.  ...  ., no deadlocks) with the class of models that have a regeneration point. Free-choice nets with home clusters are guaranteed to be lucent.  ... 
doi:10.15439/2021f002 fatcat:7ffxnlsodjdjlj45rypae6d2ry

Emergence of Complexity in Financial Networks [chapter]

Guido Caldarelli, Stefano Battiston, Diego Garlaschelli, Michele Catanzaro
2004 Lecture Notes in Physics  
In most of the cases these three kind of networks display some scale-free properties making them interesting in their own.  ...  This is a network growth model and is a generalization of the Barabasi-Albert preferential attachment model [9] , which is known to produce a scale free network with no clustering and no assortativity  ...  Results for assortativity coefficient r and clustering coefficient cc in the Italian director network in 1986 and 2002 (D86, D02) ) and the Italian board network (B86, B02) AMERICAN HOME PRODUCTS CORP  ... 
doi:10.1007/978-3-540-44485-5_18 fatcat:7zjky7to4jfc7jddnz2thcmqve

"Geography of Opportunity": Poverty, Place, and Educational Outcomes

William F. Tate
2008 Educational Researcher  
Data are from the Missouri Department of Elementary and Secondary Education, http://dese.mo.gov/schooldata/. FIGURE 7. Percentage of students receiving free or reduced-price lunch, by St.  ...  The article concludes with two important lessons learned from the research. FIGURE 8. Percentage of students proficient or advanced in 10th-grade math on Missouri 2002 MAP Test.  ...  Louis City Urban Core cluster has a concentrated number of schools with more than 66% of their children receiving free or reduced-price lunch.  ... 
doi:10.3102/0013189x08326409 fatcat:t2lxpuf3x5hwhofs4pxioblory

Modeling cellular network traffic with mobile call graph constraints

Junwhan Kim, V. S. Anil Kumar, Achla Marathe, Guanhong Pei, Sudip Saha, Balaaji S.P. Subbiah
2011 Proceedings of the 2011 Winter Simulation Conference (WSC)  
Our results are discussed in Section 5.  ...  Our main contributions are summarized below. (1).  ...  NETS CNS-0831633, DOE DE-SC0003957, NSF CNS-0845700, NSF Netse CNS-1011769 and NSF SDCI OCI-1032677.  ... 
doi:10.1109/wsc.2011.6148015 dblp:conf/wsc/KimKMPSS11 fatcat:ozmsd3qm7rafnf4hndt432glve

Internet Governance: Role of State and Society

Linda Low
2000 Media Asia  
with Internet access at home or at work.  ...  IDA favours regulation with light touch (any choice) encourage market creativity so long as there is no unfair practice by service providers and consumers are able to make informed choices.  ... 
doi:10.1080/01296612.2000.11726619 fatcat:nvrd3gpixnfj3mmull4sgik6ju

Page 191 of The Woman's Journal Vol. 9, Issue 24 [page]

1878 The Woman's Journal  
Sunshine of Song, Vocal,& Cluster of Gems Instrumental, Are two large, fine volumes of Bound Sheet Music, and very cheap at $2.50 (each) in Boards or $3 (each) in Cloth, ¢#* Any book mailed, post free,  ...  The Safety Appliances in use on this line well illustrate the far-seeing and liberal policy of its management, in accordance with which the utility only of an improvement and net its cost has been the  ... 

Towards junking the PBX

Wenyu Jiang, Jonathan Lennox, Henning Schulzrinne, Kundan Singh
2001 Proceedings of the 11th international workshop on Network and operating systems support for digital audio and video - NOSSDAV '01  
It interworks with the traditional telephone networks via a PSTN/IP gateway.  ...  This work was supported by equipment and research grants from 3Com, Cisco, Clarent Communications, Lucent, SIPcomm, and Sylantro.  ...  ., and Sarmistha Dutta of Columbia University for their help with the Cisco gateway and departmental PBX, Xiaotao Wu for sipc and Tarun Kapoor for the MySQL database installation.  ... 
doi:10.1145/378344.378369 dblp:conf/nossdav/JiangLSS01 fatcat:xfgamurx7zbehni7j4sh3idema

The Impact of Convergence on the Competitiveness of the European Consumer Electronics Industry

Nicolaas Hazewindus, Pieter Ballon, Jean-Claude Burgelman, Finn Hansen, W. K. Hansen, Ulrik Jørgensen, Gerard J. Nauwelaerts, Alain Puissochet, Puay Tang, Tim Venables
2000 First Monday  
The merge of its consumer communication activities with Lucent in 1997 was dissolved in 1998.  ...  The first priority of public policy here should be to achieve an open, transparent and interoperable services environment in which the consumer will have a free choice to buy the terminal products and  ...  Some explanations will be given to the dominant position of this Nordic electronics industry cluster.  ... 
doi:10.5210/fm.v5i12.821 fatcat:ynw2jwon4vatlb3lidi2jbtiwi

Corruption's Impact on Liquidity, Investment Flows, and Cost of Capital

Pankaj K. Jain, Emre Kuvvet, Michael S. Pagano
2012 Social Science Research Network  
The effect of corruption on foreign investment is nonlinear, with intermediate levels of corruption yielding the most negative effects.  ...  The effect of corruption on foreign investment is nonlinear, with intermediate levels of corruption yielding the most negative effects.  ...  The dependent variables are Liquidity, Execution Risk, Equity Held by Foreigners, Total Volume, Net Buy Volume, Debt Held by Foreigners, and Total Portfolio Investment by Foreigners.  ... 
doi:10.2139/ssrn.1786559 fatcat:gpgkiqkvkzd23g3263wakxwsxi

Venture Capital in Canada: Lessons for Building (or Restoring) National Wealth

Reuven Brenner, Gabrielle A. Brenner
2010 Journal of Applied Corporate Finance  
home country.  ...  Since 2004, 500,000 workers from Eastern Europe have registered with the British Home Office.  ... 
doi:10.1111/j.1745-6622.2010.00264.x fatcat:c2ytkpq4dfbu3epk4vx3pjfkqy

Technical advances in digital audio radio broadcasting

C. Faller, Biing-Hwang Juang, P. Kroon, Hui-Ling Lou, S.A. Ramprashad, C.-E.W. Sundberg
2002 Proceedings of the IEEE  
These systems are also compared to other systems such as DRM, and Worldspace, developed under different requirements.  ...  In addition, competition between proposed terrestrial and satellite systems combined with increasing consumer expectations have set ambitious, and often changing, requirements for the systems.  ...  The authors acknowledge all other people who have contributed to the systems discussed in this paper but are not mentioned by name.  ... 
doi:10.1109/jproc.2002.800718 fatcat:c3qp64vgmve4xivxufcvrrvb3a
« Previous Showing results 1 — 15 out of 367 results