Nested Petri nets (NP-nets) is an extension of the Petri nets formalism within the nets-within-nets approach, allowing to model systems of interacting dynamic agents in a natural way. One of the main problems in verifying of such systems is the State Explosion Problem. To tackle this problem for highly concurrent systems the unfolding method has proved to be very helpful. In this paper we conti...

Emergency medicine has been recognized as a specialty in Canada for a quarter of a century. But how distinct is our discipline, and how well prepared are we to meet the challenges facing us in the years to come? At this time, it seems appropriate to reflect on what we have learned during our first 25 years and consider some tough questions on how best to meet the future emergency medical needs ...

Physical punishment is a form of intrafamilial violence associated with short- and long-term adverse mental health outcomes. Despite these possible consequences, it is among the most common forms of violent interpersonal behavior. For many children it begins within the first year of life. The goal of this study was to determine the feasibility of involving public sector primary health care prov...

In this study, the relations between parents, older siblings, peers, adolescents’individual characteristics, and adolescents’deviant attitudes and behaviors were examined simultaneously, using a social learning perspective and data of 121 families from inner-city Philadelphia. Results of structural equation models showed that older deviant siblings had the strongest effect on adolescent devianc...

OBJECTIVE To estimate the past-year prevalence of parental use of verbal and physical discipline in an urban sample. METHOD A cross-sectional study was conducted in two underprivileged neighborhoods with nearly 80,000 inhabitants. Complex sampling was used. The households were selected by applying two-stage probabilistic sampling with stratification. A total of 401 households (sample error=0....

R. J. Glushko This paper relates our experiences at the University of California, Berkeley (UC Berkeley), designing a service science discipline. We wanted to design a discipline of service science in a principled and theoretically motivated way. We began our work by asking, ‘‘What questions would a service science have to answer?’’ and from that we developed a new framework for understanding s...

OBJECTIVE To provide an overview of the main methodologic challenges to finding definitive evidence of the positive effects of family medicine and family medicine training on a global scale. COMPOSITION OF THE COMMITTEE In 2012, 2013, and 2014, the College of Family Physicians of Canada hosted the Besrour Conferences to reflect on its role in advancing the discipline of family medicine global...

BACKGROUND Recognizing fundamental flaws in the fragmented US health care systems and the potential of an integrative, generalist approach, the leadership of 7 national family medicine organizations initiated the Future of Family Medicine (FFM) project in 2002. The goal of the project was to develop a strategy to transform and renew the discipline of family medicine to meet the needs of patient...