Article

Free access

Synthesis of embedded software using free-choice Petri nets

Authors:

Marco Sgroi,

Luciano Lavagno,

Yosinori Watanabe,

Alberto Sangiovanni-VincentelliAuthors Info & Claims

DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference

Pages 805 - 810

https://doi.org/10.1145/309847.310073

Published: 01 June 1999 Publication History

PDF eReader

References

[1]

E.A.Lee and D.G.Messerschmitt. Static scheduling of synchronous dataflow programs for digital signal processing. IEEE Transactions on computers, January 1987.

Digital Library

Google Scholar

[2]

E.Filippi et al. Intellectual property re-use in embedded system co-design: an industrial case study. In International Symposium System Synthesis, December 1998.

Digital Library

Google Scholar

[3]

F. Thoen et al. Real-time multi-tasking in software synthesis for information processing systems. In Proceedings of the International System Synthesis Symposium, 1995.

Digital Library

Google Scholar

[4]

E.Teruel. Structure theory of Weighted Place/Transition Net systems. The Equal Conflict hiatus. Ph.D dissertation. Universidad de Zaragoza, 1994.

Google Scholar

[5]

J.Buck. Scheduling dynamic datafiow graphs with bounded memo~7 using the token flow model. Ph.D dissertation. UC Berkeley, 1993.

Digital Library

Google Scholar

[6]

B. Lin. Software synthesis of process-based concurrent programs. In Proceedings of the Design Automation Conference, June 1998.

Digital Library

Google Scholar

[7]

M.Hack. Analysis of Production Schemata by Petri Nets. Master thesis. MIT, 1972.

Google Scholar

[8]

M. Sgroi. Quasi-static scheduling of embedded software using free-choice petri nets. Technical Report Memo No. UCB/ERL M98/, M.S. dissertation. UC Berkeley, May 1998.

Digital Library

Google Scholar

[9]

T. Murata. Petri nets: properties, analysis and applications. In Proceedings of the IEEE, April 1989.

Crossref

Google Scholar

Cited By

View all

Lin JYu IJohnsen ELee M(2016)ABS-YARNProceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 963310.5555/3089458.3089464(49-65)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089458.3089464
Lin JYu IJohnsen ELee M(2016)ABS-YARN: A Formal Framework for Modeling Hadoop YARN ClustersFundamental Approaches to Software Engineering10.1007/978-3-662-49665-7_4(49-65)Online publication date: 2016
https://doi.org/10.1007/978-3-662-49665-7_4
Albert EBoer FHähnle RJohnsen ESchlatte RTapia Tarifa SWong P(2014)Formal modeling and analysis of resource management for cloud architecturesService Oriented Computing and Applications10.1007/s11761-013-0148-08:4(323-339)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s11761-013-0148-0
Show More Cited By

Index Terms

Synthesis of embedded software using free-choice Petri nets
1. Hardware
  1. Emerging technologies
  2. Very large scale integration design
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management

Recommendations

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems

Bipolar synchronization systems (BP-systems) constitute a class of coloured Petri nets, well suited for modelling the control flow of discrete dynamical systems. Every BP-system has an underlying ordinary Petri net, a T-system. It further has a second ...
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...

Comments

Information & Contributors

Information

Published In

DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference

June 1999

1000 pages

ISBN:1581131097

DOI:10.1145/309847

Editor:
Mary Jane Irwin

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC99

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC99: The 36th ACM/IEEE-CAS/EDAC Design Automation Conference

June 21 - 25, 1999

Louisiana, New Orleans, USA

Acceptance Rates

DAC '99 Paper Acceptance Rate 154 of 451 submissions, 34%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

48
Total Citations
View Citations
425
Total Downloads

Downloads (Last 12 months)29
Downloads (Last 6 weeks)3

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lin JYu IJohnsen ELee M(2016)ABS-YARNProceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 963310.5555/3089458.3089464(49-65)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089458.3089464
Lin JYu IJohnsen ELee M(2016)ABS-YARN: A Formal Framework for Modeling Hadoop YARN ClustersFundamental Approaches to Software Engineering10.1007/978-3-662-49665-7_4(49-65)Online publication date: 2016
https://doi.org/10.1007/978-3-662-49665-7_4
Albert EBoer FHähnle RJohnsen ESchlatte RTapia Tarifa SWong P(2014)Formal modeling and analysis of resource management for cloud architecturesService Oriented Computing and Applications10.1007/s11761-013-0148-08:4(323-339)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s11761-013-0148-0
Giachino ELaneve C(2014)Towards the Typing of Resource DeploymentLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications10.1007/978-3-662-45231-8_7(88-103)Online publication date: 2014
https://doi.org/10.1007/978-3-662-45231-8_7
Stehr MKim MMcCarthy T(2014)A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical SystemsComputing with New Resources10.1007/978-3-319-13350-8_28(379-393)Online publication date: 10-Dec-2014
https://doi.org/10.1007/978-3-319-13350-8_28
Liu HPetracca MCarloni LRosenstiel WMacii E(2012)Compositional system-level design exploration with planning of high-level synthesisProceedings of the Conference on Design, Automation and Test in Europe10.5555/2492708.2492870(641-646)Online publication date: 12-Mar-2012
https://dl.acm.org/doi/10.5555/2492708.2492870
de Boer FHähnle RJohnsen ESchlatte RWong P(2012)Formal modeling of resource management for cloud architecturesProceedings of the First European conference on Service-Oriented and Cloud Computing10.1007/978-3-642-33427-6_7(91-106)Online publication date: 19-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33427-6_7
Pelcat MAridhi SPiat JNezan JPelcat MAridhi SPiat JNezan J(2012)Dataflow Model of ComputationPhysical Layer Multi-Core Prototyping10.1007/978-1-4471-4210-2_3(53-75)Online publication date: 12-Aug-2012
https://doi.org/10.1007/978-1-4471-4210-2_3
Machado RFernandes JBarros JGomes L(2010)Scenario-Based Modeling in Industrial Information SystemsDistributed, Parallel and Biologically Inspired Systems10.1007/978-3-642-15234-4_4(19-30)Online publication date: 2010
https://doi.org/10.1007/978-3-642-15234-4_4
Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703154
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems

Non Equivalence between Time Petri Nets and Time Stream Petri Nets

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation