Advanced search
Publication Cover
International Journal of Production Research Volume 40, 2002 - Issue 15
Submit an article Journal homepage
41
Views
13
CrossRef citations to date
0
Altmetric
Original Articles

Formal specification and analysis of production systems

V. Bos
&
J. J. T. Kleijn
Pages 3879-3894 | Published online: 14 Nov 2010

Citations (13)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (1)

W.L. Yeung. (2011) Formal verification of negotiation protocols for multi-agent manufacturing systems. International Journal of Production Research 49:12, pages 3669-3690.
Read now

Articles from other publishers (12)

Aleksandr Sidorenko, William Motsch, Michael van Bekkum, Nikolaos Nikolakis, Kosmas Alexopoulos & Achim Wagner. (2023) The MAS4AI framework for human-centered agile and smart manufacturing. Frontiers in Artificial Intelligence 6.
Crossref
W.L. Yeung. (2011) Behavioral modeling and verification of multi-agent systems for manufacturing control. Expert Systems with Applications.
Crossref
M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero & Hermenegilda Macia. (2009) Improving performance in flexible manufacturing systems. The Journal of Logic and Algebraic Programming 78:4, pages 260-273.
Crossref
J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers & R.J.M. Theunissen. (2008) Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electronic Notes in Theoretical Computer Science 209, pages 21-53.
Crossref
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda & R.R.H. Schiffelers. (2006) Syntax and consistent equation semantics of hybrid Chi. The Journal of Logic and Algebraic Programming 68:1-2, pages 129-210.
Crossref
L.F.P. Etman, M. Kokkolaras, A.T. Hofkamp, P.Y. Papalambros & J.E. Rooda. (2004) Coordination specification in distributed optimal design of multilevel systems using the ? language. Structural and Multidisciplinary Optimization 29:3, pages 198-212.
Crossref
P.J.L. Cuijpers & M.A. Reniers. (2005) Hybrid process algebra. The Journal of Logic and Algebraic Programming 62:2, pages 191-245.
Crossref
J.C.M Baeten & E.P de Vink. (2004) Axiomatizing GSOS with termination. The Journal of Logic and Algebraic Programming 60-61, pages 323-351.
Crossref
R. R. H. Schiffelers, D. A. van Beek, K. L. Man, M. A. Reniers & J. E. Rooda. 2004. Formal Modeling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems 151 165 .
Tim A. C. Willemse. 2004. Integrated Formal Methods. Integrated Formal Methods 343 362 .
Victor Bos & Jeroen Kleijn. (2003) Redesign of a Systems Engineering Language: Formalisation of χ. Formal Aspects of Computing 15:4, pages 370-389.
Crossref
D. A. van Beek, V. Bos & J. E. Rooda. (2003) Declaration of unknowns in DAE-based hybrid system specification. ACM Transactions on Modeling and Computer Simulation 13:1, pages 39-61.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.